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 Upcoming Previous Lecture 18 Dec 2025 09:30 to 11:00 Xavier Leroy Secure calculation: new directions and conclusions Seminar 18 Dec 2025 11:15 to 12:15 David Pointcheval Functional encryption: aggregating sensitive data Next 7 series Filters Event type Event type Lecture (3) Seminar (2) Symposium (1) Opening lecture (1) Academic year Academic year 2025 - 2026 (2) (-) 2024 - 2025 (1) 2023 - 2024 (3) 2022 - 2023 (2) (-) 2021 - 2022 (3) 2020 - 2021 (2) 2019 - 2020 (2) (-) 2018 - 2019 (3) Active filters 2024 - 2025 2021 - 2022 2018 - 2019 2024 - 2025 Lecture No lectures this year Xavier Leroy 01 Sep 2024 01 Sep 2024 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 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
Seminar 18 Dec 2025 11:15 to 12:15 David Pointcheval Functional encryption: aggregating sensitive data
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
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
