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

(more to be added ?)

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

Revised on May 6, 2013 12:27:04 by Tim Porter (95.147.236.23)