Groupe de travail

Équipe thématique Algèbre et calcul
Équipe thématique Preuves et programmes


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)


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