Conferences - Seminars

18DEC
  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 https://research.pasteur.fr/en/team/imaging-and-modeling/
18DEC
Thumbnail
  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"

Miscellaneous

25SEP
18DEC
  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