La théorie des types et la théorie de l'homotopie Vendredi 8 décembre 2023, 15 heures 30, Salle 3052 Moana Jubert Prérequis homotopiques de la théorie des types homotopiques La théorie des types et la théorie de l'homotopie Vendredi 24 novembre 2023, 15 heures 30, Salle 3052 Pierre-Évariste Dagand Demystifying substitutions in type theory La théorie des types et la théorie de l'homotopie Vendredi 10 novembre 2023, 15 heures 30, Salle 3052 Sylvain Douteau Elementary introduction of simplicial sets La théorie des types et la théorie de l'homotopie Vendredi 20 octobre 2023, 15 heures 30, Salle 3052 Vincent Moreau Overview of type theory