Formally Verified Programs, Certified Tools and Numerical Computations Équipe de recherche1050016

TOCCATAUniversité Paris-Saclay; Bâtiment 650 ; 91405 ORSAY CEDEXRNSR : 201221053LFranceDate 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 de Recherche en Informatique Laboratoire1050003

LRILRI - Bâtiments 650-660 Université Paris-Saclay 91405 Orsay CedexRNSR : 199812948MFrancehttp://www.lri.fr/Date de création : mercredi 1 janvier 2020Date de fermeture/fusion : jeudi 31 décembre 2020

 CentraleSupélec Institution411575

3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE CedexIdRef : 184443237ROR : https://ror.org/019tcpt25Francehttp://www.centralesupelec.fr

 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

 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