Groupe de travail Pôle Preuves, programmes et systèmes Équipe thématique Preuves et programmes Gestion des séances Théorie des types et réalisabilité Jour, heure et lieu Le mercredi à 14h, salle 1007 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) Hugo Herbelin Paul-André Melliès Pour recevoir les annonces, s'abonner ici.