Share Facebook LinkedIn Bluesky Threads Copy url Events Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 37 events Filters Dates Dates From To Apply Today Next 7 days Next 30 days All events Professor, chair or research center Professor, chair or research center Search a professor, a chair or a research center Xavier Leroy (2018 - today) Areas Areas Mathematics and computer sciences (37) Event type Event type Lecture (48) (-) Seminar (37) Symposium (3) Opening lecture (1) Guest lecturer (1) Active filters Xavier Leroy (2018 - today) Seminar Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 28 Nov 2018 Seminar 11:30 - 12:30 Dependent types : a whole program ! Pierre-Évariste Dagand 28 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2018 11:30 - 12:30 5 Dec 2018 Seminar 11:30 - 12:30 Computer-aided mathematics Assia Mahboubi 05 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 Dec 2018 11:30 - 12:30 12 Dec 2018 Seminar 11:30 - 12:30 Programming with Coq : recursion and dependent filtering Matthieu Sozeau 12 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2018 11:30 - 12:30 19 Dec 2018 Seminar 11:30 - 12:30 Can you duplicate an object ? Linearity and resource control Guillaume Munch-Maccagnoni 19 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2018 11:30 - 12:30 16 Jan 2019 Seminar 11:30 - 12:30 Realisability and forcing Alexandre Miquel 16 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2019 11:30 - 12:30 23 Jan 2019 Seminar 11:30 - 12:30 Semantics of probabilistic functional programs in the light of linear logic Christine Tasson 23 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Jan 2019 11:30 - 12:30 30 Jan 2019 Seminar 10:00 - 11:00 From construction calculus to the theory of univalent types Thierry Coquand 30 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2019 10:00 - 11:00 12 Dec 2019 Seminar 11:15 - 12:15 Lambda, the Ultimate Teaching Assistant (Agda Version) Philip Wadler 12 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2019 11:15 - 12:15 19 Dec 2019 Seminar 11:15 - 12:15 Computer arithmetic and its formalization Sylvie Boldo 19 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2019 11:15 - 12:15 9 Jan 2020 Seminar 11:15 - 12:15 Formal semantics for JavaScript : the challenges of scaling up Alan Schmitt 09 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2020 11:15 - 12:15 16 Jan 2020 Seminar 11:15 - 12:15 Coq separation logic : theory and practice Arthur Charguéraud 16 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2020 11:15 - 12:15 30 Jan 2020 Seminar 11:15 - 12:15 Mechanized abstract interpreters David Pichardie 30 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2020 11:15 - 12:15 6 Feb 2020 Seminar 11:15 - 12:15 Understanding and Evolving the Rust Programming Language Derek Dreyer 06 Feb 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 Feb 2020 11:15 - 12:15 13 Feb 2020 Seminar 09:30 - 10:30 What's in a Name? Representing variables and their relationships Xavier Leroy 13 Feb 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Feb 2020 09:30 - 10:30 11 Mar 2021 Seminar 11:15 - 12:15 Program logic put to the test : twists and turns with Frama-C/WP Loïc Correnson 11 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15 18 Mar 2021 Seminar 11:15 - 12:15 Auto-active proof of programs in SPARK Yannick Moy 18 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15 25 Mar 2021 Seminar 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15 1 Apr 2021 Seminar 11:15 - 12:15 Reasoning about time in separation logic François Pottier 01 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Apr 2021 11:15 - 12:15 8 Apr 2021 Seminar 11:15 - 12:15 Custom protocols in separation logic : ghost resources and invariants in Iris logic Jacques-Henri Jourdan 08 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Apr 2021 11:15 - 12:15 15 Apr 2021 Seminar 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Apr 2021 11:15 - 12:15 17 Mar 2022 Seminar 11:15 - 12:15 Influence of specification quality on software security Olivier Levillain 17 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 11:15 - 12:15 24 Mar 2022 Seminar 11:15 - 12:15 Differential Privacy: From the Central Model to the Local Model and their Generalization Catuscia Palamidessi 24 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 11:15 - 12:15 31 Mar 2022 Seminar 11:15 - 12:15 Verified Implementations for Real-World Cryptographic Protocols Karthikeyan Bhargavan 31 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 11:15 - 12:15 7 Apr 2022 Seminar 11:15 - 12:15 Fault injection attacks and software protection Karine Heydemann 07 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2022 11:15 - 12:15 14 Apr 2022 Seminar 11:15 - 12:15 Software obfuscation : scrambling code to protect programs Sandrine Blazy 14 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Apr 2022 11:15 - 12:15 21 Apr 2022 Seminar 11:15 - 12:15 Transient Execution Attacks and Defenses Frank Piessens 21 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Apr 2022 11:15 - 12:15 23 Mar 2023 Seminar 11:15 - 12:15 Verification of Functional Data Structures: Correctness and Complexity Tobias Nipkow 23 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 11:15 - 12:15 30 Mar 2023 Seminar 11:15 - 12:15 Semi-persistent data structures Jean-Christophe Filliâtre 30 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 11:15 - 12:15 7 Apr 2023 Seminar 15:45 - 16:45 Mergeable Replicated Data Types KC Sivaramakrishnan 07 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2023 15:45 - 16:45 13 Apr 2023 Seminar 11:15 - 12:15 How to combine persistence and performance Arthur Charguéraud 13 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Apr 2023 11:15 - 12:15 Pagination Current page 1 Page 2 Next page Last page
Seminar 11:30 - 12:30 Dependent types : a whole program ! Pierre-Évariste Dagand 28 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2018 11:30 - 12:30
Seminar 11:30 - 12:30 Computer-aided mathematics Assia Mahboubi 05 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 Dec 2018 11:30 - 12:30
Seminar 11:30 - 12:30 Programming with Coq : recursion and dependent filtering Matthieu Sozeau 12 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2018 11:30 - 12:30
Seminar 11:30 - 12:30 Can you duplicate an object ? Linearity and resource control Guillaume Munch-Maccagnoni 19 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2018 11:30 - 12:30
Seminar 11:30 - 12:30 Realisability and forcing Alexandre Miquel 16 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2019 11:30 - 12:30
Seminar 11:30 - 12:30 Semantics of probabilistic functional programs in the light of linear logic Christine Tasson 23 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Jan 2019 11:30 - 12:30
Seminar 10:00 - 11:00 From construction calculus to the theory of univalent types Thierry Coquand 30 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2019 10:00 - 11:00
Seminar 11:15 - 12:15 Lambda, the Ultimate Teaching Assistant (Agda Version) Philip Wadler 12 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2019 11:15 - 12:15
Seminar 11:15 - 12:15 Computer arithmetic and its formalization Sylvie Boldo 19 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2019 11:15 - 12:15
Seminar 11:15 - 12:15 Formal semantics for JavaScript : the challenges of scaling up Alan Schmitt 09 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2020 11:15 - 12:15
Seminar 11:15 - 12:15 Coq separation logic : theory and practice Arthur Charguéraud 16 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2020 11:15 - 12:15
Seminar 11:15 - 12:15 Mechanized abstract interpreters David Pichardie 30 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2020 11:15 - 12:15
Seminar 11:15 - 12:15 Understanding and Evolving the Rust Programming Language Derek Dreyer 06 Feb 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 Feb 2020 11:15 - 12:15
Seminar 09:30 - 10:30 What's in a Name? Representing variables and their relationships Xavier Leroy 13 Feb 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Feb 2020 09:30 - 10:30
Seminar 11:15 - 12:15 Program logic put to the test : twists and turns with Frama-C/WP Loïc Correnson 11 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 11:15 - 12:15
Seminar 11:15 - 12:15 Auto-active proof of programs in SPARK Yannick Moy 18 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 11:15 - 12:15
Seminar 11:15 - 12:15 VeriFast: Semi-Automated Modular Verification of Concurrent C and Java Programs Using Separation Logic Bart Jacobs 25 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 11:15 - 12:15
Seminar 11:15 - 12:15 Reasoning about time in separation logic François Pottier 01 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Apr 2021 11:15 - 12:15
Seminar 11:15 - 12:15 Custom protocols in separation logic : ghost resources and invariants in Iris logic Jacques-Henri Jourdan 08 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Apr 2021 11:15 - 12:15
Seminar 11:15 - 12:15 Gillian: a Multi-language Platform for Compositional Symbolic Analysis Philippa Gardner 15 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Apr 2021 11:15 - 12:15
Seminar 11:15 - 12:15 Influence of specification quality on software security Olivier Levillain 17 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 11:15 - 12:15
Seminar 11:15 - 12:15 Differential Privacy: From the Central Model to the Local Model and their Generalization Catuscia Palamidessi 24 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 11:15 - 12:15
Seminar 11:15 - 12:15 Verified Implementations for Real-World Cryptographic Protocols Karthikeyan Bhargavan 31 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 11:15 - 12:15
Seminar 11:15 - 12:15 Fault injection attacks and software protection Karine Heydemann 07 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2022 11:15 - 12:15
Seminar 11:15 - 12:15 Software obfuscation : scrambling code to protect programs Sandrine Blazy 14 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Apr 2022 11:15 - 12:15
Seminar 11:15 - 12:15 Transient Execution Attacks and Defenses Frank Piessens 21 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Apr 2022 11:15 - 12:15
Seminar 11:15 - 12:15 Verification of Functional Data Structures: Correctness and Complexity Tobias Nipkow 23 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 11:15 - 12:15
Seminar 11:15 - 12:15 Semi-persistent data structures Jean-Christophe Filliâtre 30 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 11:15 - 12:15
Seminar 15:45 - 16:45 Mergeable Replicated Data Types KC Sivaramakrishnan 07 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2023 15:45 - 16:45
Seminar 11:15 - 12:15 How to combine persistence and performance Arthur Charguéraud 13 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Apr 2023 11:15 - 12:15