~~NOCACHE~~
---- datatemplateentry ----
template     : :templates:seminaire
classe       : semgt
type         : Groupe de travail
nom          : Théorie des types et réalisabilité
nomcourt     : types
jour         : mercredi
heure        : 14h
lieu         : salle 1007
responsables : herbelin, mellies
pole         : pps
equipe       : preuves
----  


Pour recevoir les annonces, s'abonner [[https://listes.u-paris.fr/wws/info/gt.rea-tt.irif|ici]].