Preuves, Programmes et Systèmes (PPS) est une unité mixte de recherchePPS Présentation, consulté sur www.pps.jussieu.fr, le (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)Le site De l'IRIF.
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égulierPage du séminaire PPS 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 CosmoPPS Membres, consulté sur www.pps.jussieu.fr, le ou encore Stefano Zacchiroli.
Voir aussi Bibliographie
Liens internes Université Paris-Diderot Logique Fédération de recherche en mathématiques de Paris centre
Liens externes Site officiel
Notes et références
Catégorie:Informatique théorique Catégorie:Logique mathématique Catégorie:Laboratoire d'informatique en France Catégorie:Université Paris-Diderot