Preuves, Programmes et Systèmes

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 , 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].

Preuves, Programmes et Systèmes
Histoire
Fondation
1999
Dissolution
Statut
Type
Directeur
Thomas Ehrhard
Membre de
Site web
Localisation
Pays
Ville

Thématiques de recherche

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.

Activité

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.

Voir aussi

Bibliographie

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

Liens internes

Liens externes

Notes et références

  1. PPS Présentation, consulté sur www.pps.jussieu.fr, le
  2. Le site De l'IRIF
  3. Page du séminaire PPS
  4. PPS Membres, consulté sur www.pps.jussieu.fr, le
  • Portail de l'informatique théorique
  • Portail de la logique
  • Portail des universités
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.