Preuves, Programmes et Systèmes

Cet article est une ébauche concernant l’informatique, la logique et une université.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Histoire
Fondation	1999
Dissolution	Janvier 2016

Statut
Type	Unité mixte de recherche
Directeur	Thomas Ehrhard
Membre de	CNRS, Université Paris-Diderot
Site web	www.pps.univ-paris-diderot.fr

Localisation
Pays	France
Ville	Paris

Preuves, Programmes et Systèmes (PPS) est une unité mixte de recherche^[1] (UMR 7126) de logique informatique appartenant à l'université Paris-Diderot et au Centre national de la recherche scientifique dont le directeur est Thomas Ehrhard. Elle est rattachée à l'Institut des sciences informatiques et de leurs interactions (INS2I) et à l'Institut de sciences mathématiques et de leurs interactions (INSMI) du CNRS. En janvier 2016, le Laboratoire d'informatique algorithmique: fondements et applications et l'unité de recherche Preuves, Programmes et Systèmes fusionnent pour former l'Institut de Recherche en Informatique Fondamentale (IRIF)^[2].

Thématiques de recherche modifier

Les recherches du laboratoire sont principalement axées sur les fondements logiques des langages de programmation et des systèmes distribués. Ainsi de très variés et nombreux domaines de recherche : théorie de la démonstration, théorie des catégories, homologie, homotopie, probabilités.

Le laboratoire organise séminaire régulier^[3] sur des thématiques diverses de la recherche fondamentale en informatique.

De nombreuses personnalités sont membres du laboratoire telles que Jean-Louis Krivine, Roberto Di Cosmo^[4] ou encore Stefano Zacchiroli.

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Rapport de Recherche PPS, Paris, 2007, 66 p. (lire en ligne)
AERES, Preuves, Programmes et Systèmes, rapport du comité d'experts, 2008, 12 p. (lire en ligne)