Skip to content

Search

About Registry Community Blog Documentation (opens in new tab)

Suggest an addition or update to ROR

Suggest (opens in new tab)

Subscribe to the ROR newsletter

Subscribe (opens in new tab)

Email (opens in new tab)
LinkedIn (opens in new tab)
Mastodon (opens in new tab)
Bluesky (opens in new tab)
YouTube (opens in new tab)
GitHub (opens in new tab)
Documentation (opens in new tab)

All ROR IDs and metadata are provided under the Creative Commons Public Domain 1.0 International (opens in new tab) Licence.

All other content of this site is licensed under the Creative Commons Attribution 4.0 International Licence (opens in new tab).

Read the ROR Privacy Policy and Terms of Use.

ROR search home page

https://ror.org/00gdtta79

Laboratoire Méthodes Formelles

Organization types

Facility

Other names

Labels

Formal Method Laboratory (en)

Aliases

UMR 9021
UMR9021

Acronyms

LMF

Locations

Gif-sur-Yvette (GeoNames ID 3016078 (opens in new tab)), France

Website

https://lmf.cnrs.fr (opens in new tab)

Other Identifiers

Wikidata Q109042513 (opens in new tab)

Relationships

Parent Organizations

École Normale Supérieure Paris-Saclay
Centre National de la Recherche Scientifique
Université Paris-Saclay

Child Organizations

DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique
TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations
QUACS: Structures de calcul quantique

Record last modified: 2026-01-15

View JSON (opens in new tab)Suggest a change (opens in new tab)