Encyclopédie Wikimonde

Laboratoire Méthodes Formelles

Aller à : navigation, rechercher

Erreur Lua dans Module:Wikidata à la ligne 121 : attempt to index field 'wikibase' (a nil value).

Le Laboratoire Méthodes Formelles est un laboratoire localisé à Gif-sur-Yvette sur le plateau de Saclay.

C'est une unité mixte de recherche UMR et son numéro est UMR 9021. Ce laboratoire a été créé le 1er janvier 2021 et regroupe des chercheurs de l'ancien Laboratoire spécification et vérification (qui était localisé à l'époque à l'école normale supérieure de Cachan) et de l’équipe Vals du Laboratoire de recherche en informatique (LRI).

Liens externes

  • Erreur Lua dans Module:Wikidata à la ligne 768 : attempt to index field 'wikibase' (a nil value).
  • Erreur Lua dans Module:Bases à la ligne 285 : attempt to index field 'wikibase' (a nil value).
  • Erreur Lua dans Module:Dictionnaires à la ligne 147 : attempt to index field 'wikibase' (a nil value).
  • Erreur Lua dans Module:Autorité à la ligne 549 : attempt to index field 'wikibase' (a nil value).

Erreur Lua dans Module:Suivi_des_biographies à la ligne 197 : attempt to index field 'wikibase' (a nil value).