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
464237 Carbone CARBONE researchteam
529408 Designing the Future of Computational Models MOCQUA researchteam 615 rue du Jardin Botanique 54600 Villers-lès-Nancy 2018-01-01
206038 Development of specifications DEDALE researchteam
206043 Logic, Proof Theory and Programming TYPES researchteam
107895 Modeling and Verification of Distributed Algorithms and Systems VERIDIS researchteam 2012-07-01
445522 Proof techniques for security protocols PESTO researchteam 2016-01-01
206041 Proof-oriented development of computer-based systems MOSEL researchteam
189789 Combination of approaches to the security of infinite states systems CASSIS researchteam 2015-12-31
205126 Formal islands: foundations and applications PAREO researchteam 2014-12-31
29797 Theoretical adverse computations, and safety CARTE researchteam