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 à 15h30, salle 3052 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 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