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 48 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 (48) Event type Event type (-) Lecture (48) Seminar (37) Symposium (3) Opening lecture (1) Guest lecturer (1) Active filters Xavier Leroy (2018 - today) Lecture Sort by from the oldest to the newest from the oldest to the newest from the newest to the oldest 21 Nov 2018 Lecture 10:00 - 11:00 Paths to discovery : the Curry-Howard correspondence, 1930-1970 Xavier Leroy 21 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Nov 2018 10:00 - 11:00 Lecture 11:30 - 12:30 Polymorphism on all levels ! From the F system to calculating constructions Xavier Leroy 21 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Nov 2018 11:30 - 12:30 28 Nov 2018 Lecture 10:00 - 11:00 Weapons of mass construction : inductive types and inductive predicates Xavier Leroy 28 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2018 10:00 - 11:00 5 Dec 2018 Lecture 10:00 - 11:00 A door must be opened or closed ! Classical logic, continuations, control operators Xavier Leroy 05 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 Dec 2018 10:00 - 11:00 12 Dec 2018 Lecture 10:00 - 11:00 Can we change the world ? Imperative programming, monadic effects, algebraic effects Xavier Leroy 12 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2018 10:00 - 11:00 19 Dec 2018 Lecture 10:00 - 11:00 Free theorems : parametricity Xavier Leroy 19 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2018 10:00 - 11:00 9 Jan 2019 Lecture 10:00 - 11:00 Forcing, a program transformation like any other ? Xavier Leroy 09 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2019 10:00 - 11:00 Lecture 11:30 - 12:30 Step by step : step-indexing techniques Xavier Leroy 09 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2019 11:30 - 12:30 16 Jan 2019 Lecture 10:00 - 11:00 Happy Sisyphus : infinite types, coinduction demonstrations, and reactive programming Xavier Leroy 16 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2019 10:00 - 11:00 23 Jan 2019 Lecture 10:00 - 11:00 What is equality From Leibniz to the homotopic theory of types Xavier Leroy 23 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Jan 2019 10:00 - 11:00 30 Jan 2019 Lecture 11:30 - 12:30 Conclusion, discussion and answers to the year's questions Xavier Leroy 30 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2019 11:30 - 12:30 28 Nov 2019 Lecture 09:30 - 11:00 Expressions and commands : the semantics of an imperative language Xavier Leroy 28 Nov 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2019 09:30 - 11:00 12 Dec 2019 Lecture 09:30 - 11:00 Traduttore, traditore : formal verification of a compiler Xavier Leroy 12 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2019 09:30 - 11:00 19 Dec 2019 Lecture 09:30 - 11:00 Compile better : optimizations, static analysis and verification Xavier Leroy 19 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2019 09:30 - 11:00 9 Jan 2020 Lecture 09:30 - 11:00 Logics for reasoning about programs Xavier Leroy 09 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2020 09:30 - 11:00 16 Jan 2020 Lecture 09:30 - 11:00 Abstract art : static analysis through abstract interpretation Xavier Leroy 16 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2020 09:30 - 11:00 30 Jan 2020 Lecture 09:30 - 11:00 Eternity is a long time : divergence, domain theory, coinductive approaches Xavier Leroy 30 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2020 09:30 - 11:00 6 Feb 2020 Lecture 09:30 - 11:00 Functions and types : the semantics of a functional language Xavier Leroy 06 Feb 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 Feb 2020 09:30 - 11:00 13 Feb 2020 Lecture 10:45 - 12:15 Coq en Coq ? Mechanizing the logic of a demo assistant Xavier Leroy 13 Feb 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Feb 2020 10:45 - 12:15 4 Mar 2021 Lecture 09:30 - 11:00 How to reason about software The birth of program logic Xavier Leroy 04 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 Mar 2021 09:30 - 11:00 11 Mar 2021 Lecture 09:30 - 11:00 Variables and loops : Hoare logic Xavier Leroy 11 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 09:30 - 11:00 18 Mar 2021 Lecture 09:30 - 11:00 Pointers and data structures : separation logic Xavier Leroy 18 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 09:30 - 11:00 25 Mar 2021 Lecture 09:30 - 11:00 Parallelism with shared memory : the logic of concurrent separation Xavier Leroy 25 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00 1 Apr 2021 Lecture 09:30 - 11:00 Some extensions of the separation logic Xavier Leroy 01 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Apr 2021 09:30 - 11:00 8 Apr 2021 Lecture 09:30 - 11:00 Weakly coherent shared memory logic Xavier Leroy 08 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Apr 2021 09:30 - 11:00 15 Apr 2021 Lecture 09:30 - 11:00 Logics for functional and higher-order languages Xavier Leroy 15 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Apr 2021 09:30 - 11:00 10 Mar 2022 Lecture 09:30 - 11:00 Software security : introduction and case studies Xavier Leroy 10 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 10 Mar 2022 09:30 - 11:00 17 Mar 2022 Lecture 09:30 - 11:00 Information flow Xavier Leroy 17 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 09:30 - 11:00 24 Mar 2022 Lecture 09:30 - 11:00 Software isolation Xavier Leroy 24 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 09:30 - 11:00 31 Mar 2022 Lecture 09:30 - 11:00 Tempus fugit : time observation attacks Xavier Leroy 31 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 09:30 - 11:00 Pagination Current page 1 Page 2 Next page Last page
Lecture 10:00 - 11:00 Paths to discovery : the Curry-Howard correspondence, 1930-1970 Xavier Leroy 21 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Nov 2018 10:00 - 11:00
Lecture 11:30 - 12:30 Polymorphism on all levels ! From the F system to calculating constructions Xavier Leroy 21 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Nov 2018 11:30 - 12:30
Lecture 10:00 - 11:00 Weapons of mass construction : inductive types and inductive predicates Xavier Leroy 28 Nov 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2018 10:00 - 11:00
Lecture 10:00 - 11:00 A door must be opened or closed ! Classical logic, continuations, control operators Xavier Leroy 05 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 05 Dec 2018 10:00 - 11:00
Lecture 10:00 - 11:00 Can we change the world ? Imperative programming, monadic effects, algebraic effects Xavier Leroy 12 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2018 10:00 - 11:00
Lecture 10:00 - 11:00 Free theorems : parametricity Xavier Leroy 19 Dec 2018 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2018 10:00 - 11:00
Lecture 10:00 - 11:00 Forcing, a program transformation like any other ? Xavier Leroy 09 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2019 10:00 - 11:00
Lecture 11:30 - 12:30 Step by step : step-indexing techniques Xavier Leroy 09 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2019 11:30 - 12:30
Lecture 10:00 - 11:00 Happy Sisyphus : infinite types, coinduction demonstrations, and reactive programming Xavier Leroy 16 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2019 10:00 - 11:00
Lecture 10:00 - 11:00 What is equality From Leibniz to the homotopic theory of types Xavier Leroy 23 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Jan 2019 10:00 - 11:00
Lecture 11:30 - 12:30 Conclusion, discussion and answers to the year's questions Xavier Leroy 30 Jan 2019 Program = demonstrate ? Curry-Howard correspondence today Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2019 11:30 - 12:30
Lecture 09:30 - 11:00 Expressions and commands : the semantics of an imperative language Xavier Leroy 28 Nov 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 28 Nov 2019 09:30 - 11:00
Lecture 09:30 - 11:00 Traduttore, traditore : formal verification of a compiler Xavier Leroy 12 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 12 Dec 2019 09:30 - 11:00
Lecture 09:30 - 11:00 Compile better : optimizations, static analysis and verification Xavier Leroy 19 Dec 2019 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 19 Dec 2019 09:30 - 11:00
Lecture 09:30 - 11:00 Logics for reasoning about programs Xavier Leroy 09 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Jan 2020 09:30 - 11:00
Lecture 09:30 - 11:00 Abstract art : static analysis through abstract interpretation Xavier Leroy 16 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Jan 2020 09:30 - 11:00
Lecture 09:30 - 11:00 Eternity is a long time : divergence, domain theory, coinductive approaches Xavier Leroy 30 Jan 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Jan 2020 09:30 - 11:00
Lecture 09:30 - 11:00 Functions and types : the semantics of a functional language Xavier Leroy 06 Feb 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 06 Feb 2020 09:30 - 11:00
Lecture 10:45 - 12:15 Coq en Coq ? Mechanizing the logic of a demo assistant Xavier Leroy 13 Feb 2020 Mechanized semantics : when the machine reasons about its languages Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Feb 2020 10:45 - 12:15
Lecture 09:30 - 11:00 How to reason about software The birth of program logic Xavier Leroy 04 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 04 Mar 2021 09:30 - 11:00
Lecture 09:30 - 11:00 Variables and loops : Hoare logic Xavier Leroy 11 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 11 Mar 2021 09:30 - 11:00
Lecture 09:30 - 11:00 Pointers and data structures : separation logic Xavier Leroy 18 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 18 Mar 2021 09:30 - 11:00
Lecture 09:30 - 11:00 Parallelism with shared memory : the logic of concurrent separation Xavier Leroy 25 Mar 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Mar 2021 09:30 - 11:00
Lecture 09:30 - 11:00 Some extensions of the separation logic Xavier Leroy 01 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Apr 2021 09:30 - 11:00
Lecture 09:30 - 11:00 Weakly coherent shared memory logic Xavier Leroy 08 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Apr 2021 09:30 - 11:00
Lecture 09:30 - 11:00 Logics for functional and higher-order languages Xavier Leroy 15 Apr 2021 Program logic : when the machine reasons about its software Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Apr 2021 09:30 - 11:00
Lecture 09:30 - 11:00 Software security : introduction and case studies Xavier Leroy 10 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 10 Mar 2022 09:30 - 11:00
Lecture 09:30 - 11:00 Information flow Xavier Leroy 17 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 17 Mar 2022 09:30 - 11:00
Lecture 09:30 - 11:00 Software isolation Xavier Leroy 24 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 24 Mar 2022 09:30 - 11:00
Lecture 09:30 - 11:00 Tempus fugit : time observation attacks Xavier Leroy 31 Mar 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 31 Mar 2022 09:30 - 11:00