~~NOCACHE~~
---- datatemplateentry ----
template     : :en:templates:seminaire
type         : Seminar
nom          : Proofs, programs and systems
nomcourt     : pps
jour         : Thursday
heure        : 10:30am
lieu         : room 3052
responsables : guatto, mbehr
equipes      : algebre, systemes, preuves, pi.r2
pole         : pps
----

To receive talk announcements for the PPS seminar, please send an email to sympa@listes.irif.fr with "subscribe seminaire-pps YourFirstname YourLastname" as a title and an empty body.