Membres de PPS :
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.
Université Paris Diderot - Paris 7
75205 PARIS Cedex 13
New location as from Feb. 1st 2013
Sophie Germain building, 3rd floor
8 Place FM/13
at the crossroad of avenue de France and rue Alice-Domon et Léonie-Duquet
Métro 14, RER C: Bibliothèque François Mitterrand
Tramway T3a: Avenue de France
Bus 62, 89: Porte de France
|Tel:||01 57 27 92 17|
|Assistant director:||Antonio Bucciarelli|
|Tel:||01 57 27 94 33|
|Tel:||01 57 27 92 74|
|Fax:||01 57 27 92 97|