Connexion

English version

PPS IRIF - Équipe
Preuves, Programmes et Systèmes

Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²

L'équipe Preuves, Programmes et Systèmes (PPS) fait partie de l'Institut de Recherche en Informatique Fondamentale (IRIF), unité mixte de recherche (UMR 8243) du Centre National de la Recherche Scientifique (CNRS) et de l'Université Paris-Diderot – Paris 7.

PPS soutient Sciences en Marche.

Actualités

Plus d'actualités

Accès et contacts

Adresse postale
IRIF - Équipe PPS
Université Paris-Diderot – Paris 7
Case 7014
75205 PARIS Cedex 13
Adresse physique
Bâtiment Sophie Germain
8 place Aurélie Nemours*
75013 Paris
*56 avenue de France (croisement avec
la rue Alice-Domon-et-Léonie-Duquet)
Plans : campus, google maps, openstreetmap
Métro 14, RER C :
Bibliothèque François-Mitterrand
Tramway T3a : Avenue de France
Bus 62, 89 : Porte de France

Responsable
Thomas Ehrhard
Bureau : 3012
Tél. : 01.57.27.92.17
Prénom.Nom
@pps.univ-paris-diderot.fr
Responsable adjoint
Antonio Bucciarelli
Bureau : 3045
Tél. : 01.57.27.94.33
Prénom.Nom
@pps.univ-paris-diderot.fr
Administration
Odile Ainardi
Bureau : 3014
Tél. : 01.57.27.92.74
Fax : 01.57.27.92.97
Prénom.Nom@pps.univ-paris-diderot.fr