The chair Biography and publications Public lectures Guest lecturers Annual summaries Audios and videos News 6 series Filters Event type Event type Lecture (2) Seminar (2) Symposium (1) Opening lecture (1) Academic year Academic year 2018 - 2019 (4) 2017 - 2018 (3) 2016 - 2017 (1) 2015 - 2016 (3) (-) 2014 - 2015 (2) 2013 - 2014 (2) 2012 - 2013 (3) 2009 - 2010 (3) (-) 2007 - 2008 (4) Active filters 2014 - 2015 2007 - 2008 2014 - 2015 Proving programs : why, when and how ? Gérard Berry 28 Jan 2015 → 01 Apr 2015 Lecture 28 Jan 2015 → 01 Apr 2015 Proving programs : why, when, how ? Gérard Berry 04 Mar 2015 → 01 Apr 2015 Seminar 04 Mar 2015 → 01 Apr 2015 2007 - 2008 Why and how the world is going digital Gérard Berry 17 Jan 2008 18:00 - 19:00 Opening lecture Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 17 Jan 2008 18:00 - 19:00 Why and how the world is going digital Gérard Berry 25 Jan 2008 → 28 Mar 2008 Lecture 25 Jan 2008 → 28 Mar 2008 Why and how the world is going digital Gérard Berry 25 Jan 2008 → 28 Mar 2008 Seminar 25 Jan 2008 → 28 Mar 2008 Computing and Bioinformatics Gérard Berry 23 May 2008 Symposium 23 May 2008
