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