Fiche d'une structure
Proof of Programs Équipe de recherche56053
PROVALPCRI - Université de Paris-Sud, Bâtiment 650, 91405 ORSAY CedexRNSR : 200518375FFrancehttp://www.inria.fr/equipes/provalDate de création : jeudi 8 septembre 2005Date de fermeture/fusion : samedi 1 septembre 2012
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
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
UMR
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