Talk by Daniel Kressner (EPFL)