- Programmer = démontrer ? La correspondance de Curry-Howard aujourd'hui Présentation
- 21 novembre 2018 10:00 11:00 Cours Les chemins d'une découverte : la correspondance de Curry-Howard, 1930-1970 Xavier Leroy
- 21 novembre 2018 11:30 12:30 Cours Polymorphisme à tous les étages ! Du système F au calcul des constructions Xavier Leroy
- 28 novembre 2018 10:00 11:00 Cours Des armes de construction massive : types inductifs et prédicats inductifs Xavier Leroy
- 28 novembre 2018 11:30 12:30 Séminaire Les types dépendants : tout un programme ! Pierre-Évariste Dagand
- 05 décembre 2018 10:00 11:00 Cours Il faut qu'une porte soit ouverte ou fermée ! Logique classique, continuations, opérateurs de contrôle Xavier Leroy
- 05 décembre 2018 11:30 12:30 Séminaire Mathématiques assistées par ordinateur Assia Mahboubi
- 12 décembre 2018 10:00 11:00 Cours Peut-on changer le monde ? Programmation impérative, effets monadiques, effets algébriques Xavier Leroy
- 12 décembre 2018 11:30 12:30 Séminaire Programmer avec Coq : récursion et filtrage dépendant Matthieu Sozeau
- 19 décembre 2018 10:00 11:00 Cours Des théorèmes gratuits : la paramétricité Xavier Leroy
- 19 décembre 2018 11:30 12:30 Séminaire Peut-on dupliquer un objet ? Linéarité et contrôle des ressources Guillaume Munch-Maccagnoni
- 09 janvier 2019 10:00 11:00 Cours Le forcing, une transformation de programme comme une autre ? Xavier Leroy
- 09 janvier 2019 11:30 12:30 Cours À pas comptés : les techniques de step-indexing Xavier Leroy
- 16 janvier 2019 10:00 11:00 Cours Sisyphe heureux : types infinis, démonstrations par coinduction, et programmation réactive Xavier Leroy
- 16 janvier 2019 11:30 12:30 Séminaire Réalisabilité et forcing Alexandre Miquel
- 23 janvier 2019 10:00 11:00 Cours Qu'est-ce que l'égalité ? De Leibniz à la théorie homotopique des types Xavier Leroy
- 23 janvier 2019 11:30 12:30 Séminaire Sémantique des programmes fonctionnels probabilistes, à la lumière de la logique linéaire Christine Tasson
- 30 janvier 2019 10:00 11:00 Séminaire Du calcul des constructions à la théorie des types univalents Thierry Coquand
- 30 janvier 2019 11:30 12:30 Cours Conclusion, discussions et réponses aux questions de l'année Xavier Leroy