Gérard Berry Public lectures Computer Sciences and Digital Technologies 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 13 series Filters Event type Event type (-) Lecture (9) Seminar (8) (-) Symposium (4) Opening lecture (3) Academic year Academic year 2018 - 2019 (2) 2017 - 2018 (2) 2016 - 2017 (1) 2015 - 2016 (2) 2014 - 2015 (1) 2013 - 2014 (1) 2012 - 2013 (1) 2009 - 2010 (1) 2007 - 2008 (2) Active filters Lecture Symposium 2018 - 2019 Lecture Where are computers headed ? Gérard Berry 13 Dec 2018 → 26 Feb 2019 13 Dec 2018 → 26 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 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 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 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 2012 - 2013 Lecture Time and events in computing Gérard Berry 02 Apr 2013 → 28 May 2013 02 Apr 2013 → 28 May 2013 2009 - 2010 Lecture Thinking, modeling and mastering computer calculation Gérard Berry 25 Nov 2009 → 27 Jan 2010 25 Nov 2009 → 27 Jan 2010 2007 - 2008 Lecture 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 Where are computers headed ? Gérard Berry 13 Dec 2018 → 26 Feb 2019 13 Dec 2018 → 26 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
Lecture Proving programs : why, when and how ? Gérard Berry 28 Jan 2015 → 01 Apr 2015 28 Jan 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
Lecture Time and events in computing Gérard Berry 02 Apr 2013 → 28 May 2013 02 Apr 2013 → 28 May 2013
Lecture Thinking, modeling and mastering computer calculation Gérard Berry 25 Nov 2009 → 27 Jan 2010 25 Nov 2009 → 27 Jan 2010
Lecture Why and how the world is going digital Gérard Berry 25 Jan 2008 → 28 Mar 2008 25 Jan 2008 → 28 Mar 2008
