Arithmétiques des ordinateurs, méthodes formelles, génération de code Équipe de recherche1096086
ARIC46 Allée d'Italie 69364 Lyon FranceRNSR : 201221021BROR : https://ror.org/0282csf50Francehttps://www.inria.fr/equipes/aricDate de création : samedi 1 janvier 2022Date de fermeture/fusion : vendredi 31 janvier 2025
Laboratoire de l'Informatique du Parallélisme Laboratoire35418
LIP46 Allée d'Italie 69364 LYON CEDEX 07IdRef : 191041289ISNI : 0000000104538607RNSR : 200317503SFrancehttp://www.ens-lyon.fr/LIP/Date de création : lundi 1 janvier 1990
École normale supérieure de Lyon Institution6818
ENS de Lyon15 parvis René Descartes - BP 7000 - 69342 Lyon Cedex 07IdRef : 149154992ISNI : 0000000123319856ROR : https://ror.org/04zmssz18Wikidata : Q10159Francehttps://www.ens-lyon.fr/Date de création : vendredi 1 janvier 2010 Structure verrouillée
Université de Lyon Regroupement d'Institutions301088
Institut National de Recherche en Informatique et en Automatique Institution300009
InriaDomaine de Voluceau
Rocquencourt - BP 105
78153 Le Chesnay CedexROR : https://ror.org/02kvxyf05Francehttp://www.inria.fr/en/ Structure verrouillée
Université de Lyon Regroupement d'Institutions301088
Centre National de la Recherche Scientifique Regroupement d'Institutions441569
CNRSIdRef : 02636817XISNI : 0000000122597504ROR : https://ror.org/02feahw73Francehttps://www.cnrs.fr/Date de création : jeudi 19 octobre 1939 Structure verrouillée
Centre Inria de Lyon Laboratoire1096051
Inria de Lyon / Bâtiment CEI-2 / Campus La Doua - Villeurbanne / 56, Boulevard Niels Bohr / CS 52132 / 69 603 VilleurbanneRNSR : 202224236CROR : https://ror.org/022gakr41Francehttps://www.inria.fr/fr/centre-inria-de-lyon
Institut National de Recherche en Informatique et en Automatique Institution300009
InriaDomaine de Voluceau
Rocquencourt - BP 105
78153 Le Chesnay CedexROR : https://ror.org/02kvxyf05Francehttp://www.inria.fr/en/ Structure verrouillée