Équipe thématique Algèbre et calcul
Équipe thématique Preuves et programmes
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.
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)
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
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