Xavier Leroy Public lectures Software Science Public lectures Chair menu The chair Biography and publications Public lectures Guest lecturers Annual summaries Audios and videos News Podcasts / RSS Apple Podcasts 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 16 series Filters Event type Event type Lecture (7) Seminar (6) Symposium (2) Opening lecture (1) Academic year Academic year 2024 - 2025 (1) 2023 - 2024 (3) 2022 - 2023 (2) 2021 - 2022 (3) 2020 - 2021 (2) 2019 - 2020 (2) 2018 - 2019 (3) 2024 - 2025 Lecture No lectures this year Xavier Leroy 01 Sep 2024 01 Sep 2024 2023 - 2024 Symposium AI and its challenges Philippe Aghion, Xavier Leroy, Benoît Sagot 28 Sep 2023 28 Sep 2023 Lecture Control structures : from goto to algebraic effects Xavier Leroy 25 Jan 2024 → 14 Mar 2024 25 Jan 2024 → 14 Mar 2024 Seminar Control structures : from goto to algebraic effects Xavier Leroy 08 Feb 2024 → 14 Mar 2024 08 Feb 2024 → 14 Mar 2024 2022 - 2023 Lecture Persistent data structures Xavier Leroy 09 Mar 2023 → 20 Apr 2023 09 Mar 2023 → 20 Apr 2023 Seminar Persistent data structures Xavier Leroy 23 Mar 2023 → 20 Apr 2023 23 Mar 2023 → 20 Apr 2023 2021 - 2022 Lecture Software security : what role can programming languages play? Xavier Leroy 10 Mar 2022 → 21 Apr 2022 10 Mar 2022 → 21 Apr 2022 Seminar Software security : what role can programming languages play? Xavier Leroy 17 Mar 2022 → 21 Apr 2022 17 Mar 2022 → 21 Apr 2022 Symposium Probabilistic Programming Xavier Leroy 29 Jun 2022 → 30 Jun 2022 29 Jun 2022 → 30 Jun 2022 2020 - 2021 Lecture Program logic : when the machine reasons about its software Xavier Leroy 04 Mar 2021 → 15 Apr 2021 04 Mar 2021 → 15 Apr 2021 Seminar Program logic : when the machine reasons about its software Xavier Leroy 11 Mar 2021 → 15 Apr 2021 11 Mar 2021 → 15 Apr 2021 2019 - 2020 Lecture Mechanized semantics : when the machine reasons about its languages Xavier Leroy 28 Nov 2019 → 13 Feb 2020 28 Nov 2019 → 13 Feb 2020 Seminar Mechanized semantics : when the machine reasons about its languages Xavier Leroy 12 Dec 2019 → 13 Feb 2020 12 Dec 2019 → 13 Feb 2020 2018 - 2019 Opening lecture 18:00 - 19:00 Software, between mind and matter Xavier Leroy 15 Nov 2018 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 15 Nov 2018 18:00 - 19:00 Lecture Program = demonstrate ? Curry-Howard correspondence today Xavier Leroy 21 Nov 2018 → 30 Jan 2019 21 Nov 2018 → 30 Jan 2019 Seminar Program = demonstrate ? Curry-Howard correspondence today Xavier Leroy 28 Nov 2018 → 30 Jan 2019 28 Nov 2018 → 30 Jan 2019
Lecture Control structures : from goto to algebraic effects Xavier Leroy 25 Jan 2024 → 14 Mar 2024 25 Jan 2024 → 14 Mar 2024
Seminar Control structures : from goto to algebraic effects Xavier Leroy 08 Feb 2024 → 14 Mar 2024 08 Feb 2024 → 14 Mar 2024
Lecture Software security : what role can programming languages play? Xavier Leroy 10 Mar 2022 → 21 Apr 2022 10 Mar 2022 → 21 Apr 2022
Seminar Software security : what role can programming languages play? Xavier Leroy 17 Mar 2022 → 21 Apr 2022 17 Mar 2022 → 21 Apr 2022
Lecture Program logic : when the machine reasons about its software Xavier Leroy 04 Mar 2021 → 15 Apr 2021 04 Mar 2021 → 15 Apr 2021
Seminar Program logic : when the machine reasons about its software Xavier Leroy 11 Mar 2021 → 15 Apr 2021 11 Mar 2021 → 15 Apr 2021
Lecture Mechanized semantics : when the machine reasons about its languages Xavier Leroy 28 Nov 2019 → 13 Feb 2020 28 Nov 2019 → 13 Feb 2020
Seminar Mechanized semantics : when the machine reasons about its languages Xavier Leroy 12 Dec 2019 → 13 Feb 2020 12 Dec 2019 → 13 Feb 2020
Opening lecture 18:00 - 19:00 Software, between mind and matter Xavier Leroy 15 Nov 2018 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot 15 Nov 2018 18:00 - 19:00
Lecture Program = demonstrate ? Curry-Howard correspondence today Xavier Leroy 21 Nov 2018 → 30 Jan 2019 21 Nov 2018 → 30 Jan 2019
Seminar Program = demonstrate ? Curry-Howard correspondence today Xavier Leroy 28 Nov 2018 → 30 Jan 2019 28 Nov 2018 → 30 Jan 2019
