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

 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

 École polytechnique Institution300340

XÉcole polytechnique, 91128 Palaiseau CedexIdRef : 027309320ROR : https://ror.org/05hy3tk52Francehttps://www.polytechnique.edu/Date de création : mardi 11 mars 1794 Structure verrouillée

 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