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

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

Relationships

  • parent: Centre Inria de Lyon
    • 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.