Fiche d'une structure

 Logic, Proof Theory and Programming Équipe de recherche206043
 Department of Formal Methods Regroupement d'équipes423084
 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