Department Team Name Team Description
Algorithms, Computation, Image and Geometry ABC Machine Learning and Computational Biology
ADAGIO Applying Discrete Algorithms to Genomics and Imagery
ALICE Geometry and Lighting
CARAMBA Cryptology, Arithmetic: Hardware and Software
GAMBLE Geometric Algorithms and Models Beyond the Linear and Euclidean Realm
MAGRIT Visual Augmentation of Complex Environments
Formal methods CARTE Theoretical Adverse Computations and Safety
CARBONE In construction
DEDALE Development of specifications
MOSEL-VERIDIS Proof-oriented development of computer-based systems
PAREO Formal Islands : Foundations & Applications
PESTO Combining Approaches for the Security of Infinite state of Systems
TYPES Logic, Proof Theory & Programming
Networks, systems and services MADYNES Management of Dynamic Networks and Services
OPTIMIST Operation Research for Complex and Hybrid Decision System
COAST Service and Cooperation
Knowledge and Language Management CELLO Computational Epistemic Logic in LOrraine
ORPAILLEUR Knowledge Discovery guided by Domain Knowledge (KDDK)
MULTISPEECH Analysis, Perception and automatic recognition of speech
READ Recognition of writing and analysis of documents


SMarT Statistical Machine Translation & Speech Modelization and Text
SEMAGRAMME Linear Logic, Proof-nets and Categorial Grammars


Natural Language Processing: representation, inference, and semantics
Complex systems and artificial intelligence CAPSID Computational Algorithms for Protein Structures and Interactions
CORTEX Computational Neuroscience
KIWI Knowledge, Information and Web Intelligence
LARSEN Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment


NEUROSYS Analysis and modeling of neural systems by a system neuroscience approach


Logo du CNRS
Logo Inria
Logo Université de Lorraine