Gérard Berry Public lectures Algorithms, machines and languages Public lectures Chair menu The chair Biography and publications Public lectures Guest lecturers Annual summaries Audios and videos News Podcasts / RSS Apple Podcast Spotify Flux RSS Podcast News RSS Audio-visual RSS Share Facebook Linkedin Copy url
The chair Biography and publications Public lectures Guest lecturers Annual summaries Audios and videos News 17 series Filters Event type Close Event type Event type Lecture (7) Seminar (6) Symposium (3) Opening lecture (1) Academic year Close 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) 2018 - 2019 Lecture Where are computers headed ? Gérard Berry 13 Dec 2018 → 26 Feb 2019 13 Dec 2018 → 26 Feb 2019 Seminar Where are computers headed ? Gérard Berry 13 Dec 2018 → 20 Feb 2019 13 Dec 2018 → 20 Feb 2019 Symposium Medical imaging in the age of AI : challenges and opportunities Gérard Berry 23 Apr 2019 23 Apr 2019 2017 - 2018 Lecture Esterel from A to Z Gérard Berry 31 Jan 2018 → 28 Mar 2018 31 Jan 2018 → 28 Mar 2018 Seminar Esterel from A to Z Gérard Berry 31 Jan 2018 → 28 Mar 2018 31 Jan 2018 → 28 Mar 2018 Symposium Medical imaging and machine learning : towards artificial intelligence ? Gérard Berry 02 May 2018 02 May 2018 2016 - 2017 Lecture No lectures this year Gérard Berry 01 Sep 2016 01 Sep 2016 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 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 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 Lecture Time and events in computing Gérard Berry 02 Apr 2013 → 28 May 2013 02 Apr 2013 → 28 May 2013 Seminar Time and events in computing Gérard Berry 09 Apr 2013 → 04 Jun 2013 09 Apr 2013 → 04 Jun 2013
Lecture Where are computers headed ? Gérard Berry 13 Dec 2018 → 26 Feb 2019 13 Dec 2018 → 26 Feb 2019
Seminar Where are computers headed ? Gérard Berry 13 Dec 2018 → 20 Feb 2019 13 Dec 2018 → 20 Feb 2019
Symposium Medical imaging in the age of AI : challenges and opportunities Gérard Berry 23 Apr 2019 23 Apr 2019
Symposium Medical imaging and machine learning : towards artificial intelligence ? Gérard Berry 02 May 2018 02 May 2018
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
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 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
Lecture Time and events in computing Gérard Berry 02 Apr 2013 → 28 May 2013 02 Apr 2013 → 28 May 2013
Seminar Time and events in computing Gérard Berry 09 Apr 2013 → 04 Jun 2013 09 Apr 2013 → 04 Jun 2013
