Fiche d'une structure
Logic, Proof Theory and Programming Équipe de recherche206043
Department of Formal Methods Regroupement d'équipes423084
LORIA - FMFrancehttp://www.loria.fr/en/research/departments/formal-methods/
Laboratoire Lorrain de Recherche en Informatique et ses Applications Laboratoire206040
LORIACampus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy CedexIdRef : 067077927ISNI : 0000000121795429RNSR : 198912571SIdUnivLorraine : [UL]RSI--ROR : https://ror.org/02vnf0c38Francehttp://www.loria.frDate de création : dimanche 1 janvier 2012
Institut National de Recherche en Informatique et en Automatique Institution300009
InriaDomaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay CedexROR : https://ror.org/02kvxyf05Francehttp://www.inria.fr/en/ Structure verrouillée
Université de Lorraine Institution413289
UL34 cours Léopold - CS 25233 - 54052 Nancy cedexIdRef : 157040569IdUnivLorraine : [UL]100--ROR : https://ror.org/04vfs2w97Francehttp://www.univ-lorraine.fr/Date de création : dimanche 1 janvier 2012 Structure verrouillée
UMR7503
Centre National de la Recherche Scientifique Regroupement d'Institutions441569
CNRSIdRef : 02636817XISNI : 0000000122597504ROR : https://ror.org/02feahw73Francehttps://www.cnrs.fr/Date de création : jeudi 19 octobre 1939 Structure verrouillée