Conferences - Seminars

  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"


  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