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 Bluesky Threads Copy url
The chair Biography and publications Public lectures Guest lecturers Annual summaries Audios and videos News 5 series Filters Event type Event type Lecture (2) Seminar (2) Symposium (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) Active filters 2018 - 2019 2014 - 2015 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 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
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
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
