Se connecter en tant que correspondant RNSR d’un établissement

ACCUEIL / RESULTAT DE RECHERCHE / DETAIL
Fiche mise à jour le 18/09/2015
200112512A : PPS Preuves, Programmes et Systèmes - Unité de recherche

Responsables

Directeur - Thomas EHRHARD à partir du 01/01/2009
Directeur-adjoint - Antonio BUCCIARELLI à partir du 01/07/2013
Adresse : Case 7014 75013 PARIS
Descriptif : Aucun
Ecole(s) doctorale(s) de rattachement :
  • ED 386 - Sciences mathématiques de Paris Centre
Rattachée au(x) thème(s) de recherche suivant(s): non renseigné
Liens avec d'autres structures :
Aucun
Contact: direction@pps.univ-paris-diderot.fr
Année de création : 2001
Année de fermeture : 2015
Site ESR : Aucun
Classement scientifique ERC :
  • PE6 : Computer science and informatics : informatics and information systems, computer science, scientific computing, intelligent systems
Domaine scientifique :
  • 9 : Sciences et technologies de l'information et de la communication 2001
  • 1 : Mathématiques et leurs interactions 2001



CNRS - Centre national de la recherche scientifique
SIRET: 18008901303720 (UMR 7126)
(établissement tutelle à partir de 2014)
PARIS 7 - Université Paris Diderot Paris 7
SIRET: 19751723800659 (UMR 7126)
(établissement tutelle à partir de 2014)
INRIA - Institut national de la recherche en informatique et automatique
SIRET: 18008904700013 (UMR 7126)
(établissement participant à partir de 2014)
  • Filiation
    Structure(s) fille(s) :
    • 201621976X - Institut de Recherche en Informatique Fondamentale (fusion)
  • Libellé(s) de structure
    • 23/09/2011 : PPS
    • 23/09/2011 : PREUVES, PROGRAMMES, SYSTÈMES
  • Responsable
    • 01/01/2001 - 31/12/2008 : Pierre-Louis CURIEN (DIR)
    • 01/01/2001 - 31/12/2008 : Pierre-Louis CURIEN (DIR)
    • 01/01/2001 - 31/12/2008 : Pierre-Louis CURIEN (DIR)
    • 01/01/2001 - 31/12/2008 : Pierre-Louis CURIEN (DIR)
  • Label et Numéro d'établissement
    • 18/09/2015 : UMR 7126
      INRIA - Institut national de la recherche en informatique et automatique (UMR 7126)
    • 17/04/2014 : UMR 7126
      CNRS - Centre national de la recherche scientifique (UMR 7126)
    • 17/04/2014 : UMR 7126
      PARIS 7 - Université Paris Diderot Paris 7 (UMR 7126) (Etablissement fermé depuis le 31/12/2019)
  • Classement scientifique ERC
    • 2001 - 2008 : PE1- Mathematics : All areas of mathematics, pure and applied, plus mathematical foundations of computer science, mathematical physics and statistics
  • Etablissements
    • 2001 - 2013 : PARIS 7- Université Paris Diderot Paris 7