Logic and computing Équipe de recherche2328

LOGICALRNSR : 200121378MFrance

 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

 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

 École polytechnique Institution300340

XRoute de Saclay, 91128 Palaiseau CedexIdRef : 027309320ISNI : 0000000121581279ROR : https://ror.org/05hy3tk52Wikidata : Q273626Francehttps://www.polytechnique.edu/Date de création : mardi 11 mars 1794 Structure verrouillée

 Institut Polytechnique de Paris Regroupement d'Institutions563936

IP ParisRoute de Saclay, 91120 Palaiseau Cedex, FranceIdRef : 238327159ISNI : 0000000502717600ROR : https://ror.org/042tfbd02Wikidata : Q48759778Francehttps://www.ip-paris.frDate de création : dimanche 2 juin 2019

 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