Laboratoire

Preuves, Programmes et Systèmes

CNRS UMR 7126

Actualité

Prochaines soutenances
- Habilitation à diriger des recherches d'Olivier Laurent le 5 février 2010
- Thèse de Pierre Clairambault le 19 février 2010
PPS sur France Culture Roberto Di Cosmo était invité de l'émission Science publique le vendredi 29 janvier 2010. Écoutez l'émission ici
01/2010
Nicolas Tabareau a obtenu le 2e prix Gilles Kahn 2009, décerné par Specif, pour sa thèse intitulée Modalités de ressource et contrôle en logique tensorielle.
01/2010
Alexis Saurin a obtenu le prix de thèse de l'Association Française des Sciences et Technologies de l'Information et de la Communication (ASTI) pour sa thèse Une étude logique du contrôle (appliquée à la programmation fonctionnelle et logique), soutenue le 30/09/08.
11/2009
Nicolas Tabareau a obtenu le prix Rosemont/Demassieux de la chancellerie des universités de Paris (mathématiques fondamentales et appliquées) pour sa thèse Modalité de ressource et contrôle en logique tensorielle, soutenue le 3/12/08.
10/2009 Appel à candidature - Poste de maître de conférences.
Profil: Théorie de la programmation: logique, calcul, algèbre
Plus de détails...
09/2009 Appel à candidature - Allocation de thèse et post-doctorat.
Compilateur préservant la complexité vérifié formellement
(projet CerCo)
Plus de détails...
Nouveau : les logiciels développés à PPS

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. Il est rattaché à l'Institut des Sciences Informatiques et de leurs Interactions (INS2I) et à l'Institut de Sciences Mathématiques et de leurs Interactions (INSMI) du CNRS.

Il fédère les énergies de chercheurs, enseignants-chercheurs et doctorants issus de cultures différentes (informatique et logique mathématique) pour travailler sur une thématique assez précise : celle des langages de programmation et des systèmes distribués, et de leurs fondements logiques. Notre projet de recherche est en effet fondé sur la conviction que la logique (et plus particulièrement la théorie de la démonstration), mais aussi la théorie des catégories, et d'autres théories mathématiques comme l'homologie ou l'homotopie, ou les probabilités, ont une part importante à jouer pour élucider le sens des programmes, afin de les rendre plus sûrs, et qu'inversement l'informatique, comme la physique a pu l'être et continue de l'être, peut être une source dans laquelle la logique et d'autres domaines des mathématiques peuvent puiser pour se renouveler.

Adresse postale (courrier postal, facturation,...)

Laboratoire PPS
Université Paris Diderot - Paris 7
Case 7014
75205 PARIS Cedex 13

Adresse physique (bureaux, livraisons,...)

175 Rue du Chevaleret
75013 PARIS
Métro : Chevaleret ou Bibliothèque
Plan d'accès

Mél : Prenom.Nom@pps.jussieu.fr
Fax : (+33) 1 44 27 86 54

Directeur :	Thomas Ehrhard
Bureau :	6B02
Tél :	01 44 27 53 05
Secrétariat-Gestion :	Odile AINARDI / Audrey MANSUET
Bureau :	6B03
Tél :	01 44 27 82 72