UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes
Home · Presentation · Members · Publications · Seminar · Working groups · Projects · πr²
- PPS is now a part of the Institut de Recherche en Informatique Fondamentale (IRIF). The present website is no longer active.
The laboratory Preuves, Programmes et Systèmes (Proofs, Programs and Systems, PPS) is a joint research unit (UMR 7126) of the Centre National de la Recherche Scientifique (National Center for Scientific Research, CNRS) and of the Université Paris-Diderot – Paris 7.
News
- 1er janvier 2016 – The PPS Laboratory merges with the LIAFA to become the Institut de Recherche en Informatique Fondamentale (IRIF).
- 27 octobre 2015 – The IETF working group Homenet decides that the routing protocal implemented by the future generation of routers will be Babel, developed at PPS by Juliusz Chroboczek and Matthieu Boutier.
- 19 octobre - 4 décembre 2015 – Roberto Di Cosmo, Yann Régis-Gianas and Ralf Treinen propose a MOOC about functional programming in OCaml.
Access and contacts
Postal address
Laboratoire PPS
Université Paris-Diderot – Paris 7
Case 7014
75205 PARIS Cedex 13
Physical adress
Bâtiment Sophie Germain
8 place Aurélie Nemours*
75013 Paris
*56 avenue de France (intersection with
rue Alice-Domon-et-Léonie-Duquet)
Maps :
campus,
openstreetmap,
google
Métro 14, RER C :
Bibliothèque François-Mitterrand
Tramway T3a : Avenue de France
Bus 62, 89 : Porte de France
Director
Thomas Ehrhard
Office : 3012
Phone : 01.57.27.92.17
First.Name
@pps.univ-paris-diderot.fr
Adjoint director
Antonio Bucciarelli
Office : 3045
Phone : 01.57.27.94.33
First.Name
@pps.univ-paris-diderot.fr
Administration
Odile Ainardi
Office : 3014
Phone : 01.57.27.92.74
Fax : 01.57.27.92.97
First.Name@pps.univ-paris-diderot.fr
