Groupe de travail Pôle Preuves, programmes et systèmes Équipe thématique Programmes et Langages (PL) Gestion des séances Programmation Jour, heure et lieu Le Lundi à 10h, IRIF, Sophie Germain 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) Jean Krivine Page web https://www.irif.fr/equipes/programmes/index