201221021B : ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code
- Unité de recherche
Responsables
Bruno Salvy à partir du 01/01/20121 responsable ne souhaite pas publier ses coordonnées.
Adresse : 69007 Lyon
Descriptif :
Aucun
Ecole(s) doctorale(s) de rattachement :
non renseignée
Rattachée au(x) thème(s) de recherche suivant(s):
non renseigné
Liens avec d'autres structures :
Participe à :
Participe à :
- Structures Fédératives de Recherche 202224236C - Centre Inria de Lyon (lien non exclusif)
- Unité mixte 200317503S - Laboratoire d'Informatique du Parallélisme (lien non exclusif)
Contact: bruno.salvy@inria.fr
Année de création : 2012
Année de fermeture : 2024
Site ESR :
Aucun
Classement scientifique ERC :
non renseigné.
Domaine scientifique :
- 9 : Sciences et technologies de l'information et de la communication 2013
|
INRIA
-
Institut national de la recherche en informatique et automatique
(E )
(établissement tutelle à partir de 2012) |
Etablissement référent |
|
ENS LYON
-
Ecole Normale Supérieure de Lyon
(établissement tutelle à partir de 2013) |
|
|
CNRS
-
Centre national de la recherche scientifique
(établissement tutelle à partir de 2013) |
|
|
LYON 1
-
Université Claude Bernard Lyon 1
(établissement tutelle à partir de 2013) |
-
Libellé(s) de structure
- 05/01/2015 : ARIC
-
Responsable
- 01/01/2012 - 31/12/2012 : Florent Dupont De Dinechin ()