Auteurs Structures Domaines Revues Projets ANR Projets européens

Consultation des structures de recherche

Ce module vous permet de consulter la liste des structures.
 
ind name sigle typestruct adresse url debut fin ACTIONS
1051971 Algorithms and Models for Integrative BIOlogy AMIBIO researchteam Laboratoire d'Informatique de l'École polytechniqueRoute de Saclay91128 Palaiseau CEDEX 2018-01-01
577948 Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion PARTOUT researchteam 1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau 2019-12-01 2023-12-31
56040 Concurrency, Mobility and Transactions COMETE researchteam Bât Alan Turing, Campus de l'Ecole Polytechnique, 1 rue Honoré d'Estienne d'orves, 91120 Palaiseau (France)
201313 Geometry, arithmetic, algorithms, codes and encryption GRACE researchteam Inria Saclay Ile-de-France - Bât. Alan Turing ; LIX - 2e étage ; 1 rue Honoré d'Estienne d'Orves ; Campus de l'École Polytechnique ; 91120 Palaiseau
1143892 La Géometrie au Service du Numérique GEOMERIX researchteam Centre de recherche Inria Saclay - Île-de-France 2022-09-01 2026-08-31
1076966 Optimization at LIX OptimiX researchteam LIX CNRS, Ecole Polytechnique, Institut Polytechnique de Paris, 91128 Palaiseau 2021-01-21
451441 Rich Data Analytics at Cloud Scale CEDAR researchteam 1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau 2016-01-01
56056 Algorithmic number theory for cryptology TANC researchteam LIX
103784 Algorithms and Models for Integrative Biology AMIB researchteam Algorithmes et modèles pour la Biologie IntégrativeBâtiment Alan Turing - Campus de l'École Polytechnique - 1 rue Honoré d'Estienne d'Orves - 91120 Palaiseau 2009-05-01 2016-12-31
56052 Proof search and reasoning with logic specifications PARSIFAL researchteam 2007-07-01 2019-11-30
55047 Types, Logic and computing TYPICAL researchteam LIX Ecole Polytechnique 91129 Palaiseau Cedex
393416 COMETE / PARSIFAL researchteam
395863 MAX researchteam
396473 MAX, Laboratoire d'Informatique de l'X researchteam
395337 ROSP researchteam
400819 Sysmo researchteam
390838 Équipe Max researchteam