Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation
200920939A : PI.R2 Conception, étude et implémentation de langages pour les preuves et les programmes
Equipe interne
(situation 2026)
Responsable(s)
- Paul-andre Mellies à partir du 01/03/2022
- Le responsable ne souhaite pas publier ses coordonnées.
|
|
Etablissement |
|
INRIA - Institut national de la recherche en informatique et automatique ( )
(établissement tutelle à
partir de 2009)
Etablissement référent
|
Adresse
|
Contact
courriel :
|
| Site web :
Non renseigné.
|
| Taille en ETP (sans compter les stagiaires):
non renseignée.
|
| Descriptif :
Aucun.
|
| Année de création :
2009
|
| Mission de la structure :
Non renseignée.
|
| Mode de gestion de la structure :
Non renseigné.
|
| SIRET de la structure :
Non renseigné.
|
Classement scientifique ERC
Non renseigné
|
Domaine scientifique
- 9 : Sciences et technologies de l'information et de la communication 2009 0
|
Ecole(s) doctorale(s) de rattachement
Non renseigné
|
Rattachée au(x) programme(s) LOLF suivant(s):
Non renseigné
|
Rattachée au(x) thème(s) de recherche suivant(s):
Non renseigné
|
Liens avec d'autres structures :
Participe à :
-
Unité mixte 201621976X - Institut de Recherche en Informatique Fondamentale
(lien non exclusif)
-
Structures Fédératives de Recherche 196718247G - Centre Inria de Paris
(lien non exclusif)
|
Site ESR :
Aucun.
|
Fiche mise à jour par Janet Bertot le 19/04/2023 à 14:19
|
