Conferences - Seminars

  08:00-18:00 INM 200

La Blockchain Student Association vous invite à participer à un court hackathon sur la thématique de la blockchain et des smart contracts le Samedi 15 Décembre en INM200. Les participants utiliseront une technologie blockchain appelée Lambda. La journée se composera de talks introductifs, d’une période de compétition, et de la remise des prix. Il y ... Read more about "Blockchain Hackathon"
By Blockchain Student Association and LIAN Group
  10:00-17:00 BC 01

Produced by the Scala Center at EPFL, sponsored by Bestmile The Scala Center and LAMP Dotty team at EPFL invite you to discover the fun of contributing to the FLOSS* projects in Scala: choose an issue, get your PR merged by the end of the day, get the “Contributors” t-shirt AND a chance to win ... Read more about "Scala spree next to the Scala stairs"
  16:15-17:30 BC 420

By: Jaakko Lehtinen - Aalto University Abstract: Generative adversarial networks (GAN) are a powerful and exciting family of generative models that learn purely from observing samples. The quality of samples has, however, remained less than ideal. We describe a new GAN training methodology that yields samples of unprecedented quality. The key idea is to grow ... Read more about "IC Colloquium: Progressive growing of GANs"
  14:00-15:00 BSP 407

Microscopy has fueled biological discoveries for centuries, but technical progress during the last decades has greatly expanded the type and quantity of biological information that can be revealed by imaging. Advances in instrumentation, labeling and computation are driving an imaging data tsunami on par with that of DNA sequencing. We illustrate this trend and discuss ... Read more about "Computational imaging and modeling for cellular and nuclear biology"
By Christophe Zimmer
  15:00-16:00 BC 420

By Lars Hupel, Technical University of Munich Abstract Many theorem provers can generate functional programs from definitions or proofs. However, this code generation needs to be trusted. Except for the HOL4 system, which has a proof producing code generator for a subset of ML. We go one step further and provide a verified compiler from ... Read more about "A Verified Compiler from Isabelle/HOL to CakeML"
  10:30-12:00 BC 420

Knowledge Graphs (KGs) provide ways to organize, manage and retrieve structure information, playing an important role in a number of AI applications, such as recommender systems, question answering or natural language generation. However, a problem that is common to all KGs is their incompleteness. In this talk we briefly discuss different techniques to do knowledge ... Read more about "Learning with Knowledge Graphs"
By Alberto García-Durán

Thesis defenses

  18:00 BC 420

Thesis director : Prof. V. Kuncak Computer and Communication Sciences doctoral program Thesis 8716 Read more about "Scaling Functional Synthesis and Repair"
By Emmanouil KOUKOUTOS


  18:30-21:00 PO 094.0

MoveOn, a commission of Agepoly, offer free disco-fox lessons. Disco-fox is a couple dance that is performed on current music, on what you can hear on the radio for example. The lessons take place in the Polydôme at EPFL on Tuesdays. 18h30 : Hustle (4-count disco-fox, recommended for complete beginners) 19h45 : Disco-fox, with choreography ... Read more about "MoveOn - Free dance lessons"
By Mike Bardet, Eva Lorendeaux

Call for proposal


The Brocher Foundation offers the opportunity to organize multidisciplinary workshops or symposia on the ethical, legal and social Implications of new medical developments. Who can apply: junior and senior researchers. Conditions for Workshops: What: workshop to be held at the Brocher Centre with max. 30 participants, 6 of whom must come from a European country. ... Read more about "[ Brocher Foundation | Funding for Workshops and Symposia ]"