~~NOCACHE~~
---- datatemplateentry ----
template     : :templates:seminaire
type         : Séminaire
nom          : Séminaire Formath (Formalized Mathematics)
nomcourt     : picube
jour         : lundi 
heure        : 14h
lieu         : 1007 ou 3052
responsables : saurin, ebauer
equipes      : picube
pole         : pps
----

Le séminaire Formath (Formalized mathematics) est le séminaire de l'[[https://www.irif.fr/equipes/picube/index|é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.