nLab
PPS

PPS is the acronym for Preuves, Programmes et Systèmes. It is officially a mixed research group (UMR 7126) of the CNRS and of the Université Paris Diderot - 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.