Fiche d'une structure
Formally Verified Programs, Certified Tools and Numerical Computations Équipe de recherche212219
TOCCATAUniversité Paris-Sud ; Bâtiment 650 ; 91405 ORSAY CEDEXRNSR : 201221053LFrancehttp://www.inria.fr/equipes/toccataDate de création : samedi 1 septembre 2012Date de fermeture/fusion : mardi 31 décembre 2019
Laboratoire de Recherche en Informatique Laboratoire2544
LRILRI - Bâtiments 650-660 Université Paris-Sud 91405 Orsay CedexRNSR : 199812948MFrancehttp://www.lri.fr/Date de fermeture/fusion : mardi 31 décembre 2019
Université Paris-Sud - Paris 11 Institution92966
UP11Bâtiment 300 - 91405 Orsay cedexROR : https://ror.org/028rypz17Francehttp://www.u-psud.fr/Date de fermeture/fusion : mardi 31 décembre 2019
CentraleSupélec Institution411575
3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE CedexIdRef : 184443237ROR : https://ror.org/019tcpt25Francehttp://www.centralesupelec.fr
UMR8623
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
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