Login

Version française

 PPS UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes

Home · Presentation · Members · Publications · Seminar · Working groups · Projects · πr²

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

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