Type theory and homotopy theory Friday December 8, 2023, 3:30PM, Salle 3052 Moana Jubert Prérequis homotopiques de la théorie des types homotopiques Type theory and homotopy theory Friday November 24, 2023, 3:30PM, Salle 3052 Pierre-Évariste Dagand Demystifying substitutions in type theory Type theory and homotopy theory Friday November 10, 2023, 3:30PM, Salle 3052 Sylvain Douteau Elementary introduction of simplicial sets Type theory and homotopy theory Friday October 20, 2023, 3:30PM, Salle 3052 Vincent Moreau Overview of type theory