Séminaire Pôle Preuves, programmes et systèmes Équipe-projet Inria Picube (Inria) Gestion des séances Séminaire Formath (Formalized Mathematics) Jour, heure et lieu Le lundi à 14h, 1007 ou 3052 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) Esaie Bauer Alexis Saurin Le séminaire Formath (Formalized mathematics) est le séminaire de l'équipe Picube. Pour s'abonner à la liste de diffusion, consulter la page https://listes.irif.fr/sympa/info/formath ou écrire aux responsables du séminaire.