| 9h00 - 10h30 | 10h30 - 12h30 | 12h30 | 15h00 - 16h30 | 16h30 - 18h00 | 19h30 | |
| Monday May 30 | opening at 10h | Introduction to Type Theory 1 by Thierry Coquand |
lunch | informal discussions |
Introduction à la théorie homotopique de Grothendieck 1 by Georges Maltsiniotis |
dinner |
| Tuesday May 31 | Introduction à l'homotopie algébrique 1 by François Métayer |
Introduction to Type Theory 2 by Thierry Coquand |
lunch |
informal discussions |
Introduction à la théorie homotopique de Grothendieck 2 by Georges Maltsiniotis |
dinner |
| Wednesday June 1 | Introduction à l'homotopie algébrique 2 by François Métayer |
Homotopy Type Theory by Steve Awodey |
lunch | présentations de posters sur les relations d'ordre et ordres partiels 14h30 (IREM) |
Théorie homotopique des ∞-groupoides de Grothendieck 1 by Dimitri Ara |
dinner |
| Thursday June 2 | Applications of coinduction to homotopy of ∞-categories by François Métayer |
Construction of a universal Kan fibration by André Joyal |
lunch | informal discussions | Théorie homotopique des ∞-groupoides de Grothendieck 2 by Dimitri Ara |
dinner |
| Friday June 3 | Higher Inductive Types by Steve Awodey |
Homotopical Logic by André Joyal |
lunch | informal discussions | free |
dinner |