Preuves, Programmes et Systèmes
Fondation |
1999 |
---|---|
Dissolution |
Type | |
---|---|
Directeur |
Thomas Ehrhard |
Membre de | |
Site web |
Pays | |
---|---|
Ville |
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].
Thématiques de recherche[modifier | modifier le code]
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é[modifier | modifier le code]
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[modifier | modifier le code]
Bibliographie[modifier | modifier le code]
- 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[modifier | modifier le code]
Liens externes[modifier | modifier le code]
Notes et références[modifier | modifier le code]
- PPS Présentation, consulté sur www.pps.jussieu.fr, le
- Le site De l'IRIF
- Page du séminaire PPS
- PPS Membres, consulté sur www.pps.jussieu.fr, le