Fiche d'une structure
Formally Verified Programs, Certified Tools and Numerical Computations Équipe de recherche1066537
TOCCATAUniversité Paris-Saclay; Bâtiment 650 ; 91405 ORSAY CEDEXRNSR : 201221053LROR : https://ror.org/028m5h544Francehttp://toccata.gitlabpages.inria.fr/toccata/Date de création : vendredi 1 janvier 2021Date de fermeture/fusion : mardi 30 juin 2026
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
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-YvetteIdRef : 241345251ROR : https://ror.org/03xjwb503Francehttps://www.universite-paris-saclay.fr/fr
UMR9021
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/
Centre Inria de Saclay 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