Groupe de travail

Pôle Preuves, programmes et systèmes

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

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)