Conferences - Seminars

21JAN
Thumbnail
  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"
21JAN
Thumbnail
  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"
22JAN
25JAN
  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"
22JAN
Thumbnail
  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

21JAN
Thumbnail
 

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 ]"