Membres de PPS :
connectez-vous
Laboratoire
Preuves, Programmes et Systèmes
CNRS UMR 7126
Actualités
- 05/2013 L'article Set-Theoretic Foundation of Parametric Polymorphism and Subtyping par Giuseppe Castagna et Zhiwu Xu a reçu la nomination par ACM SIGPLAN aux CACM Research Highlights (voir: SIGPLAN CACM Research Highlights Nominated Papers)
- 04/2013 Gabriel Kerneis a reçu le prix de thèse 2013 du GDR GPL, pour son travail intitulé Continuation-Passing C: Program Transformation for Compiling Concurrency in an Imperative Language effectuée au laboratoire PPS sous la direction de Juliusz Chroboczek.
- 03/2013 Du 22 au 26 avril 2013 se tiendront les Journées d'Informatique Fondamentale de Paris Diderot
- 03/2013 Le rapport de recherche 2012 est en ligne.
- 01/2013 PPS déménage. Nouvelle adresse à compter du 1er février 2013 : Bâtiment Sophie Germain, sur le campus Paris Diderot près des Grands Moulins.
- 10/2012 Tribune sur l'enseignement du logiciel libre sur lemonde.fr, par Roberto Di Cosmo (PPS), Patrice Bertrand, et Stéfane Fermigier.
- 07/2012 Le CNRS consacre une rubrique de son journal au travail de Vincent Balat et de son équipe sur le projet Ocsigen.
- 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.
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.
Pour plus d'information, consultez le rapport de recherche 2012.
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...)
Nouvelle adresse à compter du 1er février 2013
Bâtiment Sophie Germain, 3e étage
8 Place FM/13
75013 Paris
au croisement de l'av. de France et de la rue Alice-Domon et Léonie-Duquet
Métro/RER : Bibliothèque François Mitterrand
Bus : 89, 62, 64, 325
Visualiser le plan avec Google Maps
Plan du campus de Paris Diderot
Mél : Prenom.Nom@pps.univ-paris-diderot.fr
| Directeur : | Thomas Ehrhard |
| Bureau : | 3012 |
| Tél : | 01 57 27 92 17 |
| Secrétariat-Gestion : | Odile AINARDI |
| Bureau : | 3014 |
| Tél : | 01 57 27 92 74 |
| Fax : | 01 57 27 92 97 |
