{"admin":{"created":{"date":"2025-09-19","schema_version":"2.1"},"last_modified":{"date":"2026-01-15","schema_version":"2.1"}},"domains":[],"established":2012,"external_ids":[],"id":"https://ror.org/0440j7g03","links":[{"type":"website","value":"https://team.inria.fr/veridis"}],"locations":[{"geonames_details":{"continent_code":"EU","continent_name":"Europe","country_code":"FR","country_name":"France","country_subdivision_code":"GES","country_subdivision_name":"Grand Est","lat":48.67333,"lng":6.15283,"name":"Villers-lès-Nancy"},"geonames_id":2968368}],"names":[{"lang":null,"types":["acronym"],"value":"VERIDIS"},{"lang":"en","types":["label","ror_display"],"value":"VERIDIS: Modeling and Verification of Distributed Algorithms and Systems"}],"relationships":[{"label":"Centre Inria de l'Université de Lorraine","type":"parent","id":"https://ror.org/03fcjvn64"},{"label":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","type":"parent","id":"https://ror.org/02vnf0c38"}],"status":"active","types":["facility"]}