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 7 Apr 2022 Lecture 09:30 - 11:00 Typing and safety Xavier Leroy 07 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2022 09:30 - 11:00 14 Apr 2022 Lecture 09:30 - 11:00 Compilation and safety Xavier Leroy 14 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Apr 2022 09:30 - 11:00 21 Apr 2022 Lecture 09:30 - 11:00 Calculate with figures or private data Xavier Leroy 21 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Apr 2022 09:30 - 11:00 9 Mar 2023 Lecture 09:30 - 11:00 Nothing is lost, everything is created : an introduction to persistent data structures Xavier Leroy 09 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Mar 2023 09:30 - 11:00 16 Mar 2023 Lecture 09:30 - 11:00 Balanced trees + copying branches = persistent dictionaries Xavier Leroy 16 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Mar 2023 09:30 - 11:00 23 Mar 2023 Lecture 09:30 - 11:00 Reconciling amortization and persistence : the importance of laziness Xavier Leroy 23 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 09:30 - 11:00 30 Mar 2023 Lecture 09:30 - 11:00 How do you make an imperative structure persistent ? Xavier Leroy 30 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 09:30 - 11:00 7 Apr 2023 Lecture 14:00 - 15:30 Numbering systems and non-regular types Xavier Leroy 07 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2023 14:00 - 15:30 13 Apr 2023 Lecture 09:30 - 11:00 From formal derivation to structure navigation : contexts, zippers, indexes, etc. Xavier Leroy 13 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Apr 2023 09:30 - 11:00 20 Apr 2023 Lecture 09:30 - 11:00 In search of the lost vector : theoretical limits and conclusions Xavier Leroy 20 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Apr 2023 09:30 - 11:00 25 Jan 2024 Lecture 09:30 - 11:00 The birth of control structures : from " goto " to structured programming Xavier Leroy 25 Jan 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Jan 2024 09:30 - 11:00 1 Feb 2024 Lecture 09:30 - 11:00 Advanced control structures : from subroutines to coroutines and parallelism Xavier Leroy 01 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Feb 2024 09:30 - 11:00 8 Feb 2024 Lecture 09:30 - 11:00 Control hunting... : declarative programming Xavier Leroy 08 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Feb 2024 09:30 - 11:00 15 Feb 2024 Lecture 09:30 - 11:00 Programming control structures : continuations and control operators Xavier Leroy 15 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Feb 2024 09:30 - 11:00 22 Feb 2024 Lecture 09:30 - 11:00 Effects practice : from exceptions to effects managers Xavier Leroy 22 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 Feb 2024 09:30 - 11:00 29 Feb 2024 Lecture 09:30 - 11:00 Effect theory : from monads to algebraic effects Xavier Leroy 29 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 Feb 2024 09:30 - 11:00 7 Mar 2024 Lecture 09:30 - 11:00 Typing and static analysis of effects Xavier Leroy 07 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 09:30 - 11:00 14 Mar 2024 Lecture 09:30 - 11:00 Program logic for control and effects Xavier Leroy 14 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 09:30 - 11:00 Pagination First page Previous page Page 1 Current page 2
Lecture 09:30 - 11:00 Typing and safety Xavier Leroy 07 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2022 09:30 - 11:00
Lecture 09:30 - 11:00 Compilation and safety Xavier Leroy 14 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Apr 2022 09:30 - 11:00
Lecture 09:30 - 11:00 Calculate with figures or private data Xavier Leroy 21 Apr 2022 Software security : what role can programming languages play? Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 21 Apr 2022 09:30 - 11:00
Lecture 09:30 - 11:00 Nothing is lost, everything is created : an introduction to persistent data structures Xavier Leroy 09 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 09 Mar 2023 09:30 - 11:00
Lecture 09:30 - 11:00 Balanced trees + copying branches = persistent dictionaries Xavier Leroy 16 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 16 Mar 2023 09:30 - 11:00
Lecture 09:30 - 11:00 Reconciling amortization and persistence : the importance of laziness Xavier Leroy 23 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 23 Mar 2023 09:30 - 11:00
Lecture 09:30 - 11:00 How do you make an imperative structure persistent ? Xavier Leroy 30 Mar 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 30 Mar 2023 09:30 - 11:00
Lecture 14:00 - 15:30 Numbering systems and non-regular types Xavier Leroy 07 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Apr 2023 14:00 - 15:30
Lecture 09:30 - 11:00 From formal derivation to structure navigation : contexts, zippers, indexes, etc. Xavier Leroy 13 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 13 Apr 2023 09:30 - 11:00
Lecture 09:30 - 11:00 In search of the lost vector : theoretical limits and conclusions Xavier Leroy 20 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Apr 2023 09:30 - 11:00
Lecture 09:30 - 11:00 The birth of control structures : from " goto " to structured programming Xavier Leroy 25 Jan 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 25 Jan 2024 09:30 - 11:00
Lecture 09:30 - 11:00 Advanced control structures : from subroutines to coroutines and parallelism Xavier Leroy 01 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 01 Feb 2024 09:30 - 11:00
Lecture 09:30 - 11:00 Control hunting... : declarative programming Xavier Leroy 08 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Feb 2024 09:30 - 11:00
Lecture 09:30 - 11:00 Programming control structures : continuations and control operators Xavier Leroy 15 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Feb 2024 09:30 - 11:00
Lecture 09:30 - 11:00 Effects practice : from exceptions to effects managers Xavier Leroy 22 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 Feb 2024 09:30 - 11:00
Lecture 09:30 - 11:00 Effect theory : from monads to algebraic effects Xavier Leroy 29 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 Feb 2024 09:30 - 11:00
Lecture 09:30 - 11:00 Typing and static analysis of effects Xavier Leroy 07 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 09:30 - 11:00
Lecture 09:30 - 11:00 Program logic for control and effects Xavier Leroy 14 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 09:30 - 11:00