Membres de PPS : connectez-vous
Laboratoire
Preuves, Programmes et Systèmes
CNRS UMR 7126
Actualité
- 03/2012 Ieke Moerdijk (Université Radboud de Nimègue) vient de recevoir le Prix Descartes-Huygens qui lui permettra de venir travailler au sein du laboratoire PPS sur des thématiques entre logique, topologie et algèbre de dimension supérieure.
- 12/2011 Giuseppe Castagna (PPS) élu membre de l'Academia Europaea. Les 13 membres de la représentation française dans la section informatique sont désormais : Serge Abiteboul, Jacques Arsac, Gérard Berry, Giuseppe Castagna, Patrick Cousot, Jean-Yves Girard, Nicolas Halbwachs, Gérard Huet, Giuseppe Longo, Maurice Nivat, Dominique Perrin, Jean Eric Pin et Joseph Sifakis. Communiqué de presse.
- 11/2011 Inauguration à Buenos Aires du LIA franco-argentin INFINIS
- 09/2011 Jérôme Vouillon et Roberto Di Cosmo ont remporté le Microsoft Research Distinguished Artifact Award pour l'application Coinst.
- 05/2011 Stefano Zacchiroli élu chef du projet Debian pour la 2e année consécutive. Stefano est maître de conférences à PPS.
Planning
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. PPS comporte également un Équipe Projet Commune (EPC) de l'INRIA, πr², et a un rôle moteur dans l'Initiative de Recherche sur l'Informatique du Logiciel Libre, structure d'accueil commune à l'INRIA, l'Université Paris Diderot et l'UPMC.
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. Dans cette perspective, il développe de nouvelles méthodes de développement et de maintenance des systèmes dans le domaine du logiciel libre. Enfin, PPS est un acteur essentiel dans le domaine du développement des assistants à la preuve.
Notre projet de recherche est 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, courriers express et recommandés...)
175 Rue du Chevaleret
75013 PARIS
Métro : Chevaleret ou Bibliothèque
Plan d'accès
Mél : Prenom.Nom@pps.jussieu.fr
| Directeur : | Thomas Ehrhard |
| Bureau : | 6B02 |
| Tél : | 01 57 27 92 17 |
| Secrétariat-Gestion : | Odile AINARDI |
| Bureau : | 6B03 |
| Tél : | 01 57 27 92 74 |
| Fax : | 01 57 27 92 97 |
Site réalisé avec Ocsigen, Eliom, Ocsimore, Ocaml et Ocamlduce.