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:
(more to be added ?)
plus other members of the -team.