PPS (Proofs, Programs and Systems)

PPS (UMR 7126) is a joint lab of the CNRS (Centre National de la Recherche Scientifique) and the Université Paris Diderot. It belongs to the 'Institut des Sciences Informatiques et de leurs Interactions' (INS2I, Institute of Computer Science and its Interactions) and the 'Institut de Sciences Mathématiques et de leurs Interactions' (INSMI, Institute of Mathematics and its interactions) of the CNRS. It additionally runs a joint project, πr², with INRIA and plays a crucial role, in collaboration with INRIA and UPMC, in the 'Initiative de Recherche et Innovation sur l'Informatique du Logiciel Libre' (Research and Innovation in Free Software).

The lab brings together researchers and students from different cultures (computer science and mathematical logic) to work on the theme of the foundations and practice of programming languages and distributed systems. In this perspective, it researches new methods for there development and maintenance of large open source projects. It is also a major player in the area of computer-assisted theorem proving.

Our research agenda is founded on the idea that mathematical logic (particularly proof theory) and related areas – such as category theory, homotopy, homology and probability – have an important role to play in the elucidation of the meaning, and reliability, of programs. Conversely, we also consider that computer science can be – as physics has long been and still remains – a source of renewal for logic and other mathematical disciplines.

Postal address (mail, bills, ...)

Laboratoire PPS
Université Paris Diderot - Paris 7
Case 7014
75205 PARIS Cedex 13

Physical address (offices, deliveries, express and registered mail...)

175 Rue du Chevaleret
75013 PARIS
Métro : Chevaleret or Bibliothèque François Mitterand
Access

E-mail : firstname.surname@pps.jussieu.fr