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