~~NOCACHE~~
/* DO NOT EDIT THIS FILE             */

[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 8 novembre 2024, 14 heures, Salle 1013\\
**Sylvain Douteau**  //Remarques sur le modèle simplicial de l’univalence, d’après Kapulkin-Lumsdaine-Voevodsky (II)//
\\


[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 11 octobre 2024, 14 heures, Salle 1013\\
**François Métayer**  //Remarques sur le modèle simplicial de l’univalence, d’après Kapulkin-Lumsdaine-Voevodsky (I)//
<button type="link" size="xs" collapse="b33-4667">{{icon>info-circle?lg&color=#777}}</button>\\
<collapse id="b33-4667" collapsed="true">
<well size="sm">
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.
</well>
</collapse>


[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 24 mai 2024, 15 heures 30, Salle 3052\\
**Sarah Reboullet**  //Cubical type theory and its model//
\\


[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 29 mars 2024, 15 heures 30, Salle 3052\\
**Moana Jubert**  //Sémantique de la théorie homotopique des types//
\\


[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 15 mars 2024, 15 heures 30, Salle 3052\\
**Vincent Moreau**  //The simplicial model: a univalent, weakly universal fibration//
\\


[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 1 mars 2024, 15 heures 30, Salle 3052\\
**Sylvain Douteau**  //Homotopy theory of simplicial sets//
\\


[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 2 février 2024, 15 heures 30, Salle 3052\\
**Sylvain Douteau**  //Intuitions topologiques sur les homotopies//
\\


[[seminaires:hott:index|La théorie des types et la théorie de l'homotopie]]\\
Vendredi 19 janvier 2024, 15 heures 30, Salle 3052\\
**Vincent Moreau**  //How to code mathematics in type theory, using Agda//
\\