Intervenant
Xavier Leroy
Prochaine conférence le 19 novembre 2026 à 09:30, Collège de France. 2 conférences passées dans l'agenda. Organisateurs : Collège de France. Disciplines : sciences.
6 événements à venir dans l'agenda Lotent.
Jeudi 19 novembre1
Jeudi 26 novembre1
Jeudi 3 décembre1
Jeudi 10 décembre1
Jeudi 17 décembre2
Événements passés
- 12 novembre 2026Approches dénotationnelles et full abstractionCollège de France · Amphithéâtre Mireille-Delmas-Marty
- 5 novembre 2026Introduction à l'équivalence et au raffinement entre programmesCollège de France · Amphithéâtre Mireille-Delmas-Marty