{"admin":{"created":{"date":"2023-08-17","schema_version":"1.0"},"last_modified":{"date":"2026-01-15","schema_version":"2.1"}},"domains":[],"established":2021,"external_ids":[{"all":["Q109042513"],"preferred":"Q109042513","type":"wikidata"}],"id":"https://ror.org/00gdtta79","links":[{"type":"website","value":"https://lmf.cnrs.fr"}],"locations":[{"geonames_details":{"continent_code":"EU","continent_name":"Europe","country_code":"FR","country_name":"France","country_subdivision_code":"IDF","country_subdivision_name":"Île-de-France","lat":48.68333,"lng":2.13333,"name":"Gif-sur-Yvette"},"geonames_id":3016078}],"names":[{"lang":"en","types":["label"],"value":"Formal Method Laboratory"},{"lang":null,"types":["acronym"],"value":"LMF"},{"lang":"fr","types":["ror_display","label"],"value":"Laboratoire Méthodes Formelles"},{"lang":null,"types":["alias"],"value":"UMR 9021"},{"lang":null,"types":["alias"],"value":"UMR9021"}],"relationships":[{"label":"DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique","type":"child","id":"https://ror.org/0305gxg06"},{"label":"TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations","type":"child","id":"https://ror.org/028m5h544"},{"label":"QUACS: Structures de calcul quantique","type":"child","id":"https://ror.org/042s1r231"},{"label":"École Normale Supérieure Paris-Saclay","type":"parent","id":"https://ror.org/00hx6zz33"},{"label":"Centre National de la Recherche Scientifique","type":"parent","id":"https://ror.org/02feahw73"},{"label":"Université Paris-Saclay","type":"parent","id":"https://ror.org/03xjwb503"}],"status":"active","types":["facility"]}