Conferences - Seminars

  14:15 BC 420

Abstract The voting and election processes are the backbone of Swiss democracy and threats to those processes are not to be taken lightly. For this reason, the Federal Chancellery introduced new rules and requirements on Internet Voting systems back in 2014, defining thresholds on the availability of Internet Voting, subjected to three increasing compliance levels. ... Read more about "The Road towards Verifiable Internet Voting in Geneva"
By Thomas Hofer, Expert Technique, Direction Générale des Systèmes d'Information ...
  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-12: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
  16:15 BC 410

Abstract Personal genomics is becoming increasingly popular, but mounting privacy concerns threaten to impede adoption. We propose a new, privacy-focused model for personal genomics that employs cryptography and decentralization to secure personal genomic data and outline various policy issues that should be considered if this model is to be adopted. Bio Dennis Grishin is CSO ... Read more about "Genomic data privacy in the age of personal genomics"
By Dennis Grishin, Harvard University/Nebula Genomics
  09:30-11:30 RLC A1 230

Citing correctly requires the acquisition of the right habits. This workshop will walk you through various citation cases that you may encounter during the writing process of reports or publications. At the end of the workshop, you will be able to: Understand the stakes of citation Reuse different types of content without committing plagiarism Cite ... Read more about "Citation best practices"
By EPFL Library teaching team
  Swiss Tech Convention Center

The Applied Machine Learning Days will take place from January 26th to 29th, 2019, at the Swiss Tech Convention Center on EPFL campus. It is now the largest and best-known Machine Learning event in Switzerland, and increasingly recognized as a major event in Europe. The event has a focus specifically on the applications of machine ... Read more about "Applied Machine Learning Days 2019"
By See our workshop sessions, the 16 featured tracks and the ...
  14:30-16:30 BC 233

EDIC candidacy exam Exam president: Prof. Rachid Guerraoui Thesis advisor: Prof. Carmela Troncoso Co-examiner: Prof. Martin Jaggi Abstract Machine learning (ML) is now widely used in the technological industry and beyond due to the rise in the efficiency of ML methods, data collection, and processing infrastructure. This rise brings benefits to the society, but also ... Read more about "Security and Privacy against ML-Equipped Adversaries"
By Bogdan Kulynych