Xavier Leroy

Public lectures

Software Science
Upcoming

Program Equivalencies (1)
Xavier Leroy

Lecture
09:30 to 11:00

Program Equivalencies (1)
Xavier Leroy

Seminar
11:15 to 12:15

Program Equivalencies (2)
Xavier Leroy

Lecture
09:30 to 11:00

Program Equivalencies (2)
Xavier Leroy

Seminar
11:15 to 12:15

Program Equivalencies (3)
Xavier Leroy

Lecture
09:30 to 11:00

Program Equivalencies (3)
Xavier Leroy

Seminar
11:15 to 12:15

Program Equivalencies (4)
Xavier Leroy

Lecture
09:30 to 11:00

Program Equivalencies (4)
Xavier Leroy

Seminar
11:15 to 12:15

Program Equivalencies (5)
Xavier Leroy

Lecture
09:30 to 11:00

Program Equivalencies (5)
Xavier Leroy

Seminar
11:15 to 12:15

Program Equivalencies (6)
Xavier Leroy

Lecture
09:30 to 11:00

Program Equivalencies (6)
Xavier Leroy

Seminar
11:15 to 12:15

Program Equivalencies (7)
Xavier Leroy

Lecture
09:30 to 11:00

Program Equivalencies (7)
Xavier Leroy

Seminar
11:15 to 12:15
7 series

Active filters

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
→