The chair Biography and publications Public lectures Annual summaries Audios and videos This professor has held a more recent chair: Gérard Berry, chair Algorithmes, machines et langages 9 series Filters Event type Event type Lecture (3) Seminar (3) Symposium (2) Closing 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 2018 - 2019 2015 - 2016 2014 - 2015 2018 - 2019 Where are computers headed ? Gérard Berry 13 Dec 2018 → 26 Feb 2019 Lecture 13 Dec 2018 → 26 Feb 2019 Where are computers headed ? Gérard Berry 13 Dec 2018 → 20 Feb 2019 Seminar 13 Dec 2018 → 20 Feb 2019 A plea for non-linear trajectories Gérard Berry 26 Feb 2019 16:00 - 17:30 Closing lecture Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 26 Feb 2019 16:00 - 17:30 Medical imaging in the age of AI : challenges and opportunities Gérard Berry 23 Apr 2019 Symposium 23 Apr 2019 2015 - 2016 Data structures and algorithms for formal verification Gérard Berry 04 Nov 2015 → 13 Apr 2016 Lecture 04 Nov 2015 → 13 Apr 2016 Data structures and algorithms for formal verification Gérard Berry 04 Nov 2015 → 13 Apr 2016 Seminar 04 Nov 2015 → 13 Apr 2016 Arts and sciences, new fields for IT Gérard Berry 27 May 2016 Symposium 27 May 2016 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
