Xavier Leroy

Public lectures

Software Science
Upcoming

Program Equivalencies (1)
Xavier Leroy

Lecture
9:30 - 11:00am

Program Equivalencies (1)
Xavier Leroy

Seminar
11:15am - 12:15pm

Program Equivalencies (2)
Xavier Leroy

Lecture
9:30 - 11:00am

Program Equivalencies (2)
Xavier Leroy

Seminar
11:15am - 12:15pm

Program Equivalencies (3)
Xavier Leroy

Lecture
9:30 - 11:00am

Program Equivalencies (3)
Xavier Leroy

Seminar
11:15am - 12:15pm

Program Equivalencies (4)
Xavier Leroy

Lecture
9:30 - 11:00am

Program Equivalencies (4)
Xavier Leroy

Seminar
11:15am - 12:15pm

Program Equivalencies (5)
Xavier Leroy

Lecture
9:30 - 11:00am

Program Equivalencies (5)
Xavier Leroy

Seminar
11:15am - 12:15pm

Program Equivalencies (6)
Xavier Leroy

Lecture
9:30 - 11:00am

Program Equivalencies (6)
Xavier Leroy

Seminar
11:15am - 12:15pm

Program Equivalencies (7)
Xavier Leroy

Lecture
9:30 - 11:00am

Program Equivalencies (7)
Xavier Leroy

Seminar
11:15am - 12:15pm
7 series

Active filters

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
→

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
→