200112512A : PPS Preuves, Programmes et Systèmes
- Unité de recherche
Responsables
Directeur - Thomas EHRHARD à partir du 01/01/2009Directeur-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
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
(UMR 7126)
(établissement tutelle à partir de 2014) |
|
|
PARIS 7
-
Université Paris Diderot Paris 7
(UMR 7126)
(établissement tutelle à partir de 2014) |
|
|
INRIA
-
Institut national de la recherche en informatique et automatique
(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 : PREUVES, PROGRAMMES, SYSTÈMES
- 23/09/2011 : PPS
-
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
PARIS 7 - Université Paris Diderot Paris 7 (UMR 7126) (Etablissement fermé depuis le 31/12/2019) -
17/04/2014 : UMR 7126
CNRS - Centre national de la recherche scientifique (UMR 7126)
-
18/09/2015 : UMR 7126
-
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