Gérard Berry Annual summaries Algorithms, machines and languages Annual summaries 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 X (ex-Twitter) Linkedin Copy url
The chair Biography and publications Public lectures Guest lecturers Annual summaries Audios and videos News Professor's lectures and seminars summaries 2018-2019 - Where is IT going? Digital publishing (OpenEdition) 2017-2018 - Esterel from A to Z Digital publishing (OpenEdition) Download PDF pdf (592.55 KB) 2016-2017 - Teaching not taking place this year Digital publishing (OpenEdition) Download PDF pdf (515.34 KB) 2015-2016 - Data structures and algorithms for formal verification Digital publishing (OpenEdition) Download PDF pdf (104.57 KB) 2014-2015 - The computer revolution in science Digital publishing (OpenEdition) Download PDF pdf (118.1 KB) 2013-2014 - Extended time: multiple clocks, discrete and continuous time Digital publishing (OpenEdition) Download PDF pdf (225.01 KB) 2012-2013 - Time and events in computing Digital publishing (OpenEdition) Download PDF pdf (349.33 KB)
