TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations

Overview

  • ID: https://ror.org/028m5h544
  • ATR ID: 028m5h544
  • ATR Label: TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations
  • Status: active
  • Established: 2021
  • Types: facility

Locations

  • Saclay, Île-de-France, France
    • GeoNames ID: 2982043
    • Coordinates: 48.7326, 2.16923

Names

  • TOCCATA (acronym)
  • TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations (label, ror_display, en)

External IDs

No external ids listed.

Domains

  • toccata.lri.fr

Relationships

  • parent: Centre Inria de Saclay
    • https://ror.org/0315e5x55
  • parent: Laboratoire Méthodes Formelles
    • https://ror.org/00gdtta79
  • parent: Centre Inria de l'Université Paris-Saclay
    • https://ror.org/040753f36

Administrative Information

  • Created: 2025-09-19 (schema 2.1)
  • Last modified: 2026-01-15 (schema 2.1)

Website test

{
  "website": {
    "ping": {
      "tested_url": "https://toccata.lri.fr/activities.fr.html",
      "http_code": 0,
      "message": "[17875] (0) Could not resolve host: toccata.lri.fr (Domain name not found)",
      "datetime": "2026-06-26 13:28:29",
      "elapsed": 0.4958360195159912
    }
  }
}

ATR includes organizational metadata sourced from the Research Organization Registry (ROR). ROR data is provided under the terms and conditions defined by the ROR project. ATR independently aggregates, processes, and presents this information and is not affiliated with or endorsed by ROR.