Fiche d'une structure
Modélisation et Vérification Équipe de recherche396892
France
Laboratoire d'informatique Algorithmique : Fondements et Applications Laboratoire1033
LIAFAUniversité Paris Diderot, Bât. Sophie Germain, case postale 7014, 75205 Paris cedex 13Francehttp://www.liafa.jussieu.fr/Date de création : mercredi 1 janvier 1997Date de fermeture/fusion : jeudi 31 décembre 2015
Université Paris Diderot - Paris 7 Institution300301
UPD75 rue Thomas-Mann - 75205 Paris cedex 13IdRef : 027542084ISNI : 0000000121514068ROR : https://ror.org/02n7qrg46Francehttp://www.univ-paris-diderot.frDate de fermeture/fusion : mardi 31 décembre 2019
UMR7089
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