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
454729 Deduction modulo, interopérabilité et démonstration automatique DEDUCTEAM researchteam ENS Cachan 2016-01-01 2019-12-31
157663 Modeling and Exploitation of Interaction and Concurrency MEXICO researchteam LSV, ENS Cachan 61 av président Wilson 94235 Cachan cedex 2019-12-31
2337 Security of information systems SECSI researchteam
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