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 7 series Filters Event type Event type Lecture (3) Seminar (3) Opening lecture (1) 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 2014 - 2015 2013 - 2014 2009 - 2010 2014 - 2015 Lecture Proving programs : why, when and how ? Gérard Berry 28 Jan 2015 → 01 Apr 2015 28 Jan 2015 → 01 Apr 2015 Seminar Proving programs : why, when, how ? Gérard Berry 04 Mar 2015 → 01 Apr 2015 04 Mar 2015 → 01 Apr 2015 2013 - 2014 Lecture Extended time : multiple clocks, discrete and continuous time Gérard Berry 15 Jan 2014 → 09 Apr 2014 15 Jan 2014 → 09 Apr 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 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
Lecture Proving programs : why, when and how ? Gérard Berry 28 Jan 2015 → 01 Apr 2015 28 Jan 2015 → 01 Apr 2015
Seminar Proving programs : why, when, how ? Gérard Berry 04 Mar 2015 → 01 Apr 2015 04 Mar 2015 → 01 Apr 2015
Lecture Extended time : multiple clocks, discrete and continuous time Gérard Berry 15 Jan 2014 → 09 Apr 2014 15 Jan 2014 → 09 Apr 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
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
