Conferences - Seminars
14:15-15:30 BC 420
By: Andrew Fitzgibbon - Microsoft (Cambridge) Abstract: In 1957, many (most?) computer programs were the expression of mathematical formulae in machine instructions. It was tedious, so Backus and colleagues wrote the “FORmula TRANslator”, perhaps the first modern compiler. FORTRAN revolutionised the writing of numerical code and the richness of tasks the computer could perform. Today, ... Read more about "IC Colloquium: Programming Languages for Machine Learning and Perception"
16:15-17:30 BC 420
By: Simon Peyton Jones - Microsoft Research (Cambridge) Abstract: Automatic differentiation (AD) is clearly cool. And it has become useful (as well as cool) recently, because it essentially implements the back-propagation step that is key to learning in neural networks; and it is used extensively in many other machine learning contexts. But as well as ... Read more about "IC Colloquium: Automatic differentiation for dummies"
08:00-18:00 STCC 0 7326
From 22 to 25 January, EPFL will be hosting the third workshop/meeting of FG-AI4H at the Swiss Tech Convention Center in Lausanne. With this email, I would like to inform you of our activities as well as extend an invitation to you and your colleagues to become involved in this important project. In particular, we ... Read more about "Artificial Intelligence for Health"
10:00-11:00 BC 420
Abstract Modern-day software is increasingly complex and software engineering is commonly accepted as a challenging, error-prone task. Consequently, software bugs are prevalent, incurring detrimental financial costs and often risking human lives. Program analyses provide rigorous and effective means to automated bug detection, and are becoming an integral part of the software development process. In this ... Read more about "Algorithmic Advances in Automated Program Analysis"
By Andreas Pavlogiannis
Call for proposal
The “Manufacturing technologies” impulse programme funds innovation projects at the interface between research and technology transfers that Swiss companies conduct together with research institutions in the digitally-oriented "Industry 4.0 and Modern manufacturing technologies" segment. Submission deadlines: There will be two calls for proposals depending on the project duration Project Duration 18 Months 12 Months Call ... Read more about "[ Innosuisse - Manufacturing technologies Impulse Programme | Research funding ]"