UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes
Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²
- PPS fait maintenant partie de l'Institut de Recherche en Informatique Fondamentale (IRIF). Ces pages ne sont plus maintenues.
Le laboratoire Preuves, Programmes et Systèmes (PPS) est une unité mixte de recherche (UMR 7126) du Centre National de la Recherche Scientifique (CNRS) et de l'Université Paris-Diderot – Paris 7.
PPS soutient Sciences en Marche.
Actualités
- 1er janvier 2016 – Le Laboratoire PPS fusionne avec le LIAFA pour devenir l'Institut de Recherche en Informatique Fondamentale (IRIF).
- 27 octobre 2015 – Le groupe de travail Homenet de l'IETF décide que le protocole de routage implémenté par la future génération de routeurs grand public sera Babel, développé au laboratoire PPS par Juliusz Chroboczek et Matthieu Boutier.
- 19 octobre - 4 décembre 2015 – Roberto Di Cosmo, Yann Régis-Gianas et Ralf Treinen proposent un MOOC sur l'introduction à la programmation fonctionnelle en OCaml.
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
