Ministère de l'Enseignement Supérieur, de la Recherche et de l'Innovation

Ministère de l'Enseignement Supérieur,
de la Recherche et de l'Innovation

rnSr

201221021B : ARIC Arithmétiques des ordinateurs, méthodes formelles, génération de code 
Unité de recherche   (situation 2024) 

Responsable(s)

- Bruno Salvy à partir du 01/01/2012
- Le responsable ne souhaite pas publier ses coordonnées.

Etablissements.
INRIA INRIA - Institut national de la recherche en informatique et automatique (E )
(établissement tutelle à partir de 2012)
Etablissement référent
LYON 1 LYON 1 - Université Claude Bernard Lyon 1 ( )
(établissement tutelle à partir de 2013)
CNRS CNRS - Centre national de la recherche scientifique ( )
(établissement tutelle à partir de 2013)
ENS LYON ENS LYON - Ecole Normale Supérieure de Lyon ( )
(établissement tutelle à partir de 2013)
Adresse

69007 Lyon
   Contact
  courriel : bruno.salvy@inria.fr
Site web : http://www.inria.fr/equipes/aric
Taille en ETP (sans compter les stagiaires): non renseignée.
Descriptif : Aucun.
Année de création : 2012
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 2013 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 200317503S - Laboratoire d'Informatique du Parallélisme   (lien non exclusif)
 -  Structures Fédératives de Recherche 202224236C - Centre Inria de Lyon   (lien non exclusif)
Site ESR :
Aucun.

Fiche mise à jour par Janet Bertot le 26/04/2024 à 16:44