Consultation des structures de recherche

Ce module vous permet de consulter la liste des structures.

 
ind name sigle typestruct adresse url debut fin ACTIONS
56053 Proof of Programs PROVAL researchteam PCRI - Université de Paris-Sud, Bâtiment 650, 91405 ORSAY Cedex 2005-09-08 2012-09-01
56052 Proof search and reasoning with logic specifications PARSIFAL researchteam 2007-07-01 2019-11-30
1153924 Propagation des Ondes : Étude Mathématique et Simulation POEMS researchteam 828, boulevard des Maréchaux, 91762 Palaiseau CEDEX 2003-01-01 2008-12-31
1153925 Propagation des Ondes : Étude Mathématique et Simulation POEMS researchteam 828, boulevard des Maréchaux, 91762 Palaiseau CEDEX 1977-01-01 2003-06-16
454734 Secured and Mobile Information Systems SMIS researchteam 2015-12-01 2016-12-31
2337 Security of information systems SECSI researchteam
56044 Shape reconstruction and identification DeFI researchteam Centre de Mathématiques Appliquées Ecole Polytechnique Route de Saclay 91128 Palaiseau FRANCE 2009-01-01 2021-07-31
56050 Situated interaction IN-SITU researchteam PCRI - Université de Paris-Sud, Bâtiment 650, 91405 ORSAY Cedex 2002-07-01 2014-12-31
561510 Statistique mathématique et apprentissage CELESTE researchteam Département de Mathématiques Bâtiment 307Faculté des Sciences d'Orsay Université Paris-SudF-91405 Orsay Cedex 2019-06-01 2019-12-31
211984 Symbolic Special Functions : Fast and Certified SPECFUN researchteam Inria, Bâtiment Alan Turing 1 rue Honoré d'Estienne d'Orves Campus de l'École Polytechnique 91120 Palaiseau 2014-07-01 2022-03-31
553811 Sélection de modèles en apprentissage statistique SELECT-POST researchteam 1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau 2019-01-01 2019-05-31
1050019 TAckling the Underspecified TAU researchteam Université Paris-Saclay;Bâtiment 660 - Shannon ; 91405 Orsay Cedex 2020-01-01 2020-12-31
486840 TAckling the Underspecified TAU researchteam Université Paris-Sud ;Bâtiment 660 - Shannon ; 91405 Orsay Cedex 2016-12-01 2019-12-31
55047 Types, Logic and computing TYPICAL researchteam LIX Ecole Polytechnique 91129 Palaiseau Cedex
56043 Verification in databases DAHU researchteam LSV ENS de Cachan 61 avenue du Président Wilson 94235 CACHAN Cedex FRANCE 2009-01-01 2017-12-31