Xavier Leroy

Public lectures

Software Science
Upcoming

Program Equivalencies (1)
Xavier Leroy

Lecture
09:30 to 11:00

Concurrency Theory: From Its Origins Toward a Science of Processes
Davide Sangiorgi

Seminar
11:15 to 12:15

Denotational Approaches and Full Abstraction
Xavier Leroy

Lecture
09:30 to 11:00

Interaction Equivalence
Adrienne Lancelot

Seminar
11:15 to 12:15

Bisimulations 1
Xavier Leroy

Lecture
09:30 to 11:00

Semantics of Programming Language Games
Pierre Clairambault

Seminar
11:15 to 12:15

Bisimulations 2
Xavier Leroy

Lecture
09:30 to 11:00

Fixed-Point Theorems and Coinduction Without Coinduction
Damien Pous

Seminar
11:15 to 12:15

Program Equivalencies (5)
Xavier Leroy

Lecture
09:30 to 11:00

Probabilistic Relational Logic and Its Applications to Cryptography
Benjamin Grégoire

Seminar
11:15 to 12:15

Program Equivalencies (6)
Xavier Leroy

Lecture
09:30 to 11:00

The Semantics of Dynamic Allocation: From Fresh Names to Bundles
Guilhème Jaber

Seminar
11:15 to 12:15

Relational Program Logic
Xavier Leroy

Lecture
09:30 to 11:00

Program Equivalencies (7)
Xavier Leroy

Seminar
11:15 to 12:15
20 series

2026 - 2027

Program Equivalencies
Xavier Leroy

→
Lecture
→

Program Equivalencies
Xavier Leroy

→
Seminar
→

2025 - 2026

Secure calculation: calculating on encrypted or private data
Xavier Leroy

→
Lecture
→

Secure calculation: calculating on encrypted or private data
Xavier Leroy

→
Seminar
→

2024 - 2025

No lectures this year
Xavier Leroy

Lecture

2023 - 2024

AI and its challenges
Philippe Aghion, Xavier Leroy, Benoît Sagot

Symposium

Control structures : from goto to algebraic effects
Xavier Leroy

→
Lecture
→

Control structures : from goto to algebraic effects
Xavier Leroy

→
Seminar
→

2022 - 2023

Persistent data structures
Xavier Leroy

→
Lecture
→

Persistent data structures
Xavier Leroy

→
Seminar
→

2021 - 2022

Software security : what role can programming languages play?
Xavier Leroy

→
Lecture
→

Software security : what role can programming languages play?
Xavier Leroy

→
Seminar
→

Probabilistic Programming
Xavier Leroy

→
Symposium
→

2020 - 2021

Program logic : when the machine reasons about its software
Xavier Leroy

→
Lecture
→

Program logic : when the machine reasons about its software
Xavier Leroy

→
Seminar
→

2019 - 2020

Mechanized semantics : when the machine reasons about its languages
Xavier Leroy

→
Lecture
→

Mechanized semantics : when the machine reasons about its languages
Xavier Leroy

→
Seminar
→

2018 - 2019

Software, between mind and matter
Xavier Leroy

-
Opening lecture
Marguerite-de-Navarre Amphitheater, Marcelin-Berthelot Site
-

Program = demonstrate ? Curry-Howard correspondence today
Xavier Leroy

→
Lecture
→

Program = demonstrate ? Curry-Howard correspondence today
Xavier Leroy

→
Seminar
→