Working group Pole Proofs, programs and systems Thematic team Algebra and computation Thematic team Proofs and programs Manage talks Type theory and homotopy theory Day, hour and place Friday at 3:30pm, room 3052 The calendar of events (iCal format). In order to add the event calendar to your favorite agenda, subscribe to the calendar by using this link. Contact(s) Sylvain Douteau Previous talks Year 2024 Type theory and homotopy theory Friday November 8, 2024, 2PM, Salle 1013 Sylvain Douteau Remarques sur le modèle simplicial de l’univalence, d’après Kapulkin-Lumsdaine-Voevodsky (II) Type theory and homotopy theory Friday October 11, 2024, 2PM, Salle 1013 François Métayer Remarques sur le modèle simplicial de l’univalence, d’après Kapulkin-Lumsdaine-Voevodsky (I) Dans ce premier exposé basé sur l’article « Univalence in simplicial sets » (https://arxiv.org/abs/1203.2553) je détaillerai la notion de « fibration universelle » qui en est l’ingrédient essentiel. J’examinerai en parallèle ce que devient une telle construction lorsqu’on remplace les ensembles simpliciaux par le cadre beaucoup plus simple des ensembles tout court. Type theory and homotopy theory Friday May 24, 2024, 3:30PM, Salle 3052 Sarah Reboullet Cubical type theory and its model 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 Year 2023 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