Gérard Berry Public lectures Technological Innovation Liliane Bettencourt Public lectures Chair menu The chair Biography and publications Public lectures Annual summaries Audios and videos Podcasts / RSS Apple Podcast Spotify Flux RSS Podcast News RSS Audio-visual RSS Share Facebook LinkedIn Bluesky Threads Copy url
The chair Biography and publications Public lectures Annual summaries Audios and videos 10 series Filters Event type Event type Lecture (3) Seminar (3) Symposium (2) Opening lecture (2) Academic year Academic year 2018 - 2019 (3) 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 2015 - 2016 2009 - 2010 2007 - 2008 2015 - 2016 Lecture Data structures and algorithms for formal verification Gérard Berry 04 Nov 2015 → 13 Apr 2016 04 Nov 2015 → 13 Apr 2016 Seminar Data structures and algorithms for formal verification Gérard Berry 04 Nov 2015 → 13 Apr 2016 04 Nov 2015 → 13 Apr 2016 Symposium Arts and sciences, new fields for IT Gérard Berry 27 May 2016 27 May 2016 2009 - 2010 Opening lecture 18:00 - 19:00 Thinking, modeling and mastering computer calculation Gérard Berry 19 Nov 2009 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Nov 2009 18:00 - 19:00 Lecture Thinking, modeling and mastering computer calculation Gérard Berry 25 Nov 2009 → 27 Jan 2010 25 Nov 2009 → 27 Jan 2010 Seminar Thinking, modeling and mastering computer calculation Gérard Berry 02 Dec 2009 → 27 Jan 2010 02 Dec 2009 → 27 Jan 2010 2007 - 2008 Opening lecture 18:00 - 19:00 Why and how the world is going digital Gérard Berry 17 Jan 2008 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 17 Jan 2008 18:00 - 19:00 Lecture Why and how the world is going digital Gérard Berry 25 Jan 2008 → 28 Mar 2008 25 Jan 2008 → 28 Mar 2008 Seminar Why and how the world is going digital Gérard Berry 25 Jan 2008 → 28 Mar 2008 25 Jan 2008 → 28 Mar 2008 Symposium Computing and Bioinformatics Gérard Berry 23 May 2008 23 May 2008
Lecture Data structures and algorithms for formal verification Gérard Berry 04 Nov 2015 → 13 Apr 2016 04 Nov 2015 → 13 Apr 2016
Seminar Data structures and algorithms for formal verification Gérard Berry 04 Nov 2015 → 13 Apr 2016 04 Nov 2015 → 13 Apr 2016
Opening lecture 18:00 - 19:00 Thinking, modeling and mastering computer calculation Gérard Berry 19 Nov 2009 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 19 Nov 2009 18:00 - 19:00
Lecture Thinking, modeling and mastering computer calculation Gérard Berry 25 Nov 2009 → 27 Jan 2010 25 Nov 2009 → 27 Jan 2010
Seminar Thinking, modeling and mastering computer calculation Gérard Berry 02 Dec 2009 → 27 Jan 2010 02 Dec 2009 → 27 Jan 2010
Opening lecture 18:00 - 19:00 Why and how the world is going digital Gérard Berry 17 Jan 2008 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 17 Jan 2008 18:00 - 19:00
Lecture Why and how the world is going digital Gérard Berry 25 Jan 2008 → 28 Mar 2008 25 Jan 2008 → 28 Mar 2008
Seminar Why and how the world is going digital Gérard Berry 25 Jan 2008 → 28 Mar 2008 25 Jan 2008 → 28 Mar 2008