Project-team ALMANACH Automatic Language Modelling and Analysis & Computational Humanities The ALMAnaCH project-team (Automatic Language Modelling and Analysis & Computational Humanities) is...
Project-team AROMATH AlgebRa, geOmetry, Modeling and AlgoriTHms Geometry is involved in many domains (manufacturing, simulation, communication, virtual world ...)...
Project-team BONUS Big Optimization aNd Ultra-Scale Computing Being ubiquitous to countless modern engineering and scientic applications, big optimization...
Project-team BOREAL Knowledge Representation and Rule-Based Languages for Reasoning on Data Current information systems are grounded on the exploitation of data coming from an increasing...
Project-team CAGE Control and Geometry CAGE's activities take place in the field of mathematical control theory, with applications in three...
Project-team CAMIN Control of Artificial Movement & Intuitive Neuroprosthesis Camin team has grown out of the former Demar team. Our research is dedicated to the design and...
Project-team CARAMBA Cryptology, arithmetic : algebraic methods for better algorithms Our research addresses the broad application domain of cryptography and cryptanalysis from the...
Project-team CARDAMOM Certified Adaptive discRete moDels for robust simulAtions of CoMplex flOws with Moving fronts From PDEs to certified computational models : this is the motto of CARDAMOM . We aim at providing a...
Project-team CASH Compilation and Analyses for Software and Hardware The advent of parallelism in supercomputers and in more classical end-user computers increases the...
Project-team COMMEDIA Computational mathematics for bio-medical applications The research activity of COMMEDIA focuses on the numerical simulation of bio-fluid flows in the...
Project-team CONVECS Construction of verified concurrent systems CONVECS is a research team working on the formal modeling and verification of asynchronous...
Project-team COSMIQ Code-based Cryptology, Symmetric Cryptology and Quantum Information The research work within the project-team is mostly devoted to the design and analysis of...
Project-team CTRL-A Control for safe Autonomic computing systems CTRL-A is motivated by today’s context where computing systems, large (data centers) or small...
Project-team DANCE Dynamics and Control of Networks Our mission is to advance the field of Automatic Control to meet the challenges of today’s hyper...