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 20 Apr 2023 Seminar 11:15 - 12:15 An algebra of modifications, or : version control for everyone Pierre-Etienne Meunier 20 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Apr 2023 11:15 - 12:15 8 Feb 2024 Seminar 11:15 - 12:15 How to reconcile parallelism and control ? Approaches to general-purpose and graphics processor architectures Caroline Collange 08 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Feb 2024 11:15 - 12:15 15 Feb 2024 Seminar 11:15 - 12:15 Intermediate representations for compilation : freeing yourself from the control flow graph Delphine Demange 15 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Feb 2024 11:15 - 12:15 22 Feb 2024 Seminar 11:15 - 12:15 Compiling and Typing with Continuations Andrew Kennedy 22 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 Feb 2024 11:15 - 12:15 29 Feb 2024 Seminar 11:15 - 12:15 Continuations : five minutes to learn, a lifetime to understand Olivier Danvy 29 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 Feb 2024 11:15 - 12:15 7 Mar 2024 Seminar 11:15 - 12:15 Effect Handlers and Mathematically Inspired Language Constructs Matija Pretnar 07 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 11:15 - 12:15 14 Mar 2024 Seminar 11:15 - 12:15 Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen 14 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 11:15 - 12:15 Pagination First page Previous page Page 1 Current page 2
Seminar 11:15 - 12:15 An algebra of modifications, or : version control for everyone Pierre-Etienne Meunier 20 Apr 2023 Persistent data structures Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 20 Apr 2023 11:15 - 12:15
Seminar 11:15 - 12:15 How to reconcile parallelism and control ? Approaches to general-purpose and graphics processor architectures Caroline Collange 08 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 08 Feb 2024 11:15 - 12:15
Seminar 11:15 - 12:15 Intermediate representations for compilation : freeing yourself from the control flow graph Delphine Demange 15 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 15 Feb 2024 11:15 - 12:15
Seminar 11:15 - 12:15 Compiling and Typing with Continuations Andrew Kennedy 22 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 22 Feb 2024 11:15 - 12:15
Seminar 11:15 - 12:15 Continuations : five minutes to learn, a lifetime to understand Olivier Danvy 29 Feb 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 29 Feb 2024 11:15 - 12:15
Seminar 11:15 - 12:15 Effect Handlers and Mathematically Inspired Language Constructs Matija Pretnar 07 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 07 Mar 2024 11:15 - 12:15
Seminar 11:15 - 12:15 Design and Compilation of Efficient Effect Handlers in the Koka Language Daan Leijen 14 Mar 2024 Control structures : from goto to algebraic effects Amphithéâtre Guillaume Budé, Site Marcelin Berthelot 14 Mar 2024 11:15 - 12:15