Agenda
- Tuesday, September 12th 2017, 11 am: Visual Reconstruction and Image-Based Rendering, by Richard Szeliski (Facebook)
- Thursday, October 19th 2017, 11 am: Safety Verification of Deep Neural Networks, by Marta Kwiatkowska (Univ. of Oxford)
- Thursday, November 23rd 2017, 11 am: Coccinelle: synergy between programming language research and the Linux kernel, by Julia Lawall (Inria)
- Thursday, January 11th 2018, 11 am: Franck Varenne (Univ. Rouen)
- Thursday, February 8th 2018, 11 am: Nicolas Schabanel (CNRS-IRIF)
- Thursday, March 15th 2018, 11 am: Josselin Garnier (Ecole Polytechnique)
- Thursday, May 24th 2018, 11 am: Jacques Demongeot