Type theory and homotopy theory Friday March 29, 2024, 3:30PM, Salle 3052 Moana Jubert Sémantique de la théorie homotopique des types Type theory and homotopy theory Friday March 15, 2024, 3:30PM, Salle 3052 Vincent Moreau The simplicial model: a univalent, weakly universal fibration Type theory and homotopy theory Friday March 1, 2024, 3:30PM, Salle 3052 Sylvain Douteau Homotopy theory of simplicial sets Type theory and homotopy theory Friday February 2, 2024, 3:30PM, Salle 3052 Sylvain Douteau Intuitions topologiques sur les homotopies Type theory and homotopy theory Friday January 19, 2024, 3:30PM, Salle 3052 Vincent Moreau How to code mathematics in type theory, using Agda