nLab PPS

PPS is the acronym for Preuves, Programmes et Systèmes. It is officially forms part of IRIF, that is the Institut de Recherche en Informatique Fondamentale, a mixed research group (UMR 7126) of the CNRS and the Université Paris Diderot (aka Paris 7).

It is very well known for the research of its members in Theoretical Computer Science.

Its members include:

• Pierre-Louis Curien;

• Philippe Gaucher;

• Paul-André Melliès;

• Francois Métayer;

• Yves Guiraud.

(more to be added ?)

plus other members of the $\pi r^2$-team.