Groupe de travail extérieur Pôle Preuves, programmes et systèmes Équipe thématique Analyse et conception de systèmes Gestion des séances Programmation Jour, heure et lieu Le jeudi (un sur deux) à 14h, IRILL (Jussieu) 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) Nothing. https://www-apr.lip6.fr/~chaillou/Public/programmation