Groupe de travail Pôle Preuves, programmes et systèmes Équipe thématique Algèbre et calcul Équipe thématique Preuves et programmes Gestion des séances La théorie des types et la théorie de l'homotopie Jour, heure et lieu Le vendredi à 14h, salle 1013 Le calendrier des séances (format iCal). Pour ajouter le calendrier des séances à votre agenda favori, souscrire au calendrier en indiquant ce lien. Contact(s) Sylvain Douteau Séances passées Année 2024 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) 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) 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. 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 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 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 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 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 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 Année 2023 La théorie des types et la théorie de l'homotopie Vendredi 8 décembre 2023, 15 heures 30, Salle 3052 Moana Jubert Prérequis homotopiques de la théorie des types homotopiques La théorie des types et la théorie de l'homotopie Vendredi 24 novembre 2023, 15 heures 30, Salle 3052 Pierre-Évariste Dagand Demystifying substitutions in type theory La théorie des types et la théorie de l'homotopie Vendredi 10 novembre 2023, 15 heures 30, Salle 3052 Sylvain Douteau Elementary introduction of simplicial sets La théorie des types et la théorie de l'homotopie Vendredi 20 octobre 2023, 15 heures 30, Salle 3052 Vincent Moreau Overview of type theory