ARIC: Arithmétiques des ordinateurs, méthodes formelles, génération de code
General data
Overview
-
ID:
https://ror.org/0282csf50
-
ATR ID:
0282csf50
-
ATR Label:
ARIC: Arithmétiques des ordinateurs, méthodes formelles, génération de code
-
Status:
active
-
Established:
2022
-
Types:
facility
Locations
-
Lyon, Rhône-Alpes, France
- GeoNames ID: 2996944
- Coordinates: 45.74906, 4.84789
- GeoNames ID: 2996944
- Coordinates: 45.74906, 4.84789
Names
-
ARIC (acronym)
-
ARIC: Arithmetic and Computing (label, en)
-
ARIC: Arithmétiques des ordinateurs, méthodes formelles, génération de code (label, ror_display, fr)
External IDs
No external ids listed.
Domains
-
inria.fr
Links
-
website:
https://www.inria.fr/equipes/aric
Relationships
-
parent: Centre Inria de Lyon
- https://ror.org/022gakr41
- https://ror.org/022gakr41
Administrative Information
-
Created:
2025-09-19 (schema 2.1)
-
Last modified:
2026-01-15 (schema 2.1)
Augmented data
{
"atr_id": "0282csf50",
"atr_label": "ARIC: Arithmétiques des ordinateurs, méthodes formelles, génération de code",
"atr_website": "https://www.inria.fr/equipes/aric",
"domains": [
"inria.fr"
]
}
Test data
{
"website": {
"ping": {
"tested_url": "https://www.inria.fr/equipes/aric",
"http_code": 200,
"message": "[10334] (200) ",
"datetime": "2026-06-26 11:00:35",
"elapsed": 1.0232141017913818
}
}
}
ATR includes organizational metadata sourced from the Research Organization Registry (ROR). ATR independently aggregates, processes, and presents this information and is not affiliated with or endorsed by ROR.