Séminaire Pôle Preuves, programmes et systèmes Équipe thématique Algèbre et calcul Équipe thématique Analyse et conception de systèmes Équipe-projet Inria Picube (Inria) Équipe thématique Preuves et programmes Gestion des séances Preuves, programmes et systèmes Jour, heure et lieu Le jeudi à 10h30, en ligne 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) Nicolas Behr Giovanni Bernardi Adrien Guatto Pour recevoir les annonces du séminaire PPS, envoyer un courriel à sympa@listes.irif.fr avec comme titre “subscribe seminaire-pps VotrePrénom VotreNom” et un corps vide. Les membres de PPS peuvent proposer des orateurs et/ou sujets sur l'intranet.