Project-team KAIROS Multiform Logical Time for Formal Cyber-Physical System Design Kairos is working on how methods and tools to manage concurrency and time at different levels of...
Project-team MCTAO Mathematics for Control, Transport and Applications Our goal is to develop methods in geometric control theory for nonlinear systems, mostly finite...
Project-team MORPHEME Morphologie et Images The scientific objectives of MORPHEME are to characterize and model the development and the...
Project-team NEO Network Engineering and Operations The team is positioned at the intersection of Operations Research and Network Science. By using the...
Project-team STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...
Project-team STARS Spatio-Temporal Activity Recognition Systems The Stars research team focuses on the design of cognitive vision systems for Activity Recognition...
Project-team ACENTAURI Artificial intelligence and efficient algorithms for autonomus robotics The goal of ACENTAURI is to study and develop intelligent, autonomous and mobile robots that...
Project-team MACBES Modelling And Control of Biological and Ecological Systems Macbes is one of the two project-teams following the Biocore project-team. Macbes is a common...
Project-team ACUMES Analysis and Control of Unsteady Models for Engineering Sciences The project focuses on the analysis and optimal control of classical and non-classical evolutionary...
Project-team AROMATH AlgebRa, geOmetry, Modeling and AlgoriTHms Geometry is involved in many domains (manufacturing, simulation, communication, virtual world ...)...
Project-team BIOVISION Biologically plausible Integrative mOdels of the Visual system : towards synergIstic Solutions for visually-Impaired people and artificial visiON Vision is a key function to sense the world and perform complex tasks, with a high sensitivity and a...
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...