Preuves, Programmes et Systèmes
ancienne équipe de recherche CNRS/INRIA/Paris 7 / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Preuves, Programmes et Systèmes?
Résumez cet article pour un enfant de 10 ans
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].
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 |