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.
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.