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 11 series Filters Event type Event type Lecture (9) (-) Seminar (8) Symposium (4) (-) Opening lecture (3) Academic year Academic year 2018 - 2019 (1) 2017 - 2018 (1) 2015 - 2016 (1) 2014 - 2015 (1) 2013 - 2014 (1) 2012 - 2013 (2) 2009 - 2010 (2) 2007 - 2008 (2) Active filters Seminar Opening lecture 2018 - 2019 Seminar Where are computers headed ? Gérard Berry 13 Dec 2018 → 20 Feb 2019 13 Dec 2018 → 20 Feb 2019 2017 - 2018 Seminar Esterel from A to Z Gérard Berry 31 Jan 2018 → 28 Mar 2018 31 Jan 2018 → 28 Mar 2018 2015 - 2016 Seminar Data structures and algorithms for formal verification Gérard Berry 04 Nov 2015 → 13 Apr 2016 04 Nov 2015 → 13 Apr 2016 2014 - 2015 Seminar Proving programs : why, when, how ? Gérard Berry 04 Mar 2015 → 01 Apr 2015 04 Mar 2015 → 01 Apr 2015 2013 - 2014 Seminar Extended time : multiple clocks, discrete and continuous time Gérard Berry 15 Jan 2014 → 09 Apr 2014 15 Jan 2014 → 09 Apr 2014 2012 - 2013 Opening lecture 18:00 - 19:00 Time and event computing Gérard Berry 28 Mar 2013 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 28 Mar 2013 18:00 - 19:00 Seminar Time and events in computing Gérard Berry 09 Apr 2013 → 04 Jun 2013 09 Apr 2013 → 04 Jun 2013 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 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 Seminar Why and how the world is going digital Gérard Berry 25 Jan 2008 → 28 Mar 2008 25 Jan 2008 → 28 Mar 2008
Seminar Where are computers headed ? Gérard Berry 13 Dec 2018 → 20 Feb 2019 13 Dec 2018 → 20 Feb 2019
Seminar Data structures and algorithms for formal verification Gérard Berry 04 Nov 2015 → 13 Apr 2016 04 Nov 2015 → 13 Apr 2016
Seminar Proving programs : why, when, how ? Gérard Berry 04 Mar 2015 → 01 Apr 2015 04 Mar 2015 → 01 Apr 2015
Seminar Extended time : multiple clocks, discrete and continuous time Gérard Berry 15 Jan 2014 → 09 Apr 2014 15 Jan 2014 → 09 Apr 2014
Opening lecture 18:00 - 19:00 Time and event computing Gérard Berry 28 Mar 2013 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 28 Mar 2013 18:00 - 19:00
Seminar Time and events in computing Gérard Berry 09 Apr 2013 → 04 Jun 2013 09 Apr 2013 → 04 Jun 2013
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
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
Seminar Why and how the world is going digital Gérard Berry 25 Jan 2008 → 28 Mar 2008 25 Jan 2008 → 28 Mar 2008