Fiche d'une structure
Deduction modulo, interopérabilité et démonstration automatique Équipe de recherche1042690
DEDUCTEAMENS Paris-SaclayRNSR : 201121007RFrancehttp://www.inria.fr/equipes/deducteamDate de création : mercredi 1 janvier 2020Date de fermeture/fusion : jeudi 31 décembre 2020
Inria Saclay - Ile de France Laboratoire118511
1 rue Honoré d'Estienne d'Orves Bâtiment Alan Turing Campus de l'École Polytechnique 91120 PalaiseauRNSR : 200818248EROR : https://ror.org/0315e5x55Francehttp://www.inria.fr/centre/saclay
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
Laboratoire Spécification et Vérification Laboratoire1042689
LSV4, avenue des Sciences, 91190, Gif-sur-YvetteFrancehttp://www.lsv.fr/Date de création : mercredi 1 janvier 2020Date de fermeture/fusion : jeudi 31 décembre 2020
Université Paris-Saclay Institution419361
Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-YvetteROR : https://ror.org/03xjwb503Francehttps://www.universite-paris-saclay.fr/fr
UMR 8643
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
Ecole Normale Supérieure Paris-Saclay Institution523723
ENS Paris Saclay4 avenue des Sciences, 91190 Gif-sur-YvetteROR : https://ror.org/00hx6zz33Francehttp://ens-paris-saclay.fr/