# 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:

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

Last revised on May 6, 2017 at 14:06:07. See the history of this page for a list of all contributions to it.