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:

(more to be added ?)

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

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