Thematic team Algebra and computation
Thematic team Proofs and programs
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.
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)
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
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