Preuves, Programmes et Systèmes
- 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.
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é
De nombreuses personnalités sont membres du laboratoire telles que Jean-Louis Krivine, Roberto Di Cosmo[2] ou encore Stefano Zacchiroli.
Cette section est vide, insuffisamment détaillée ou incomplète.
Votre aide est la bienvenue !
Voir aussi
Bibliographie
- Rapport de Recherche PPS, Paris, 2007, 66 p. [lire en ligne]
- AERES, Preuves, Programmes et Systèmes, rapport du comité d'experts, 2008, 12 p. [lire en ligne]
Liens internes
Liens externes
Notes et références
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Preuves, Programmes et Systèmes de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Ingénierie des systèmes — L ingénierie des systèmes est une approche scientifique interdisciplinaire de formation récente, dont le but est de formaliser et d appréhender la conception de systèmes complexes avec succès. Sommaire 1 Vue d ensemble 2 Histoire 3 Champ … Wikipédia en Français
Ingenierie des systemes — Ingénierie des systèmes L ingénierie des systèmes est une approche scientifique interdisciplinaire de formation récente, dont le but est de formaliser et d appréhender la conception de systèmes complexes avec succès. Sommaire 1 Vue d ensemble 2… … Wikipédia en Français
Ingénierie Des Systèmes — L ingénierie des systèmes est une approche scientifique interdisciplinaire de formation récente, dont le but est de formaliser et d appréhender la conception de systèmes complexes avec succès. Sommaire 1 Vue d ensemble 2 Histoire 3 Champ … Wikipédia en Français
Ingénierie des Systèmes — L ingénierie des systèmes est une approche scientifique interdisciplinaire de formation récente, dont le but est de formaliser et d appréhender la conception de systèmes complexes avec succès. Sommaire 1 Vue d ensemble 2 Histoire 3 Champ … Wikipédia en Français
Logique intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… … Wikipédia en Français
Jean-Marie Rifflet — est un informaticien français. Professeur et directeur de l UFR d informatique à l Université Paris Diderot, chercheur au laboratoire Preuves, Programmes et Systèmes (dit PPS), il enseigne et travaille depuis longtemps sur les systèmes UNIX[1]… … Wikipédia en Français
Stefano Zacchiroli — Nom de naissance Stefano Zacchiroli Surnom zack Naissance 16 … Wikipédia en Français
Fondation sciences mathématiques de Paris — Informations Fondation 28 septembre 2007 au Collège de France[1] Type Fondation de coopération scientifique par décret en date du 20 … Wikipédia en Français
PPS — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sigles d’une seule lettre Sigles de deux lettres > Sigles de trois lettres Sigles de quatre lettres … Wikipédia en Français
Fondation Sciences Mathematiques de Paris — Fondation sciences mathématiques de Paris La Fondation Sciences Mathématiques de Paris, qui était appelée auparavant Réseau thématique de recherches avancées en sciences mathématiques est un réseau d excellence unique au monde dans sa discipline… … Wikipédia en Français
