Groupe de travail Pôle Preuves, programmes et systèmes Équipe thématique Algèbre et calcul Équipe-projet Inria Picube (Inria) Gestion des séances Catégories supérieures, polygraphes et 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 François Métayer