• Adagio – Applying Discrete Algorithms to Geometry and Imagery
• Caramba – Cryptology, arithmetic: algebraic methods for better algorithms
• Gamble – Geometric Algorithms & Models Beyond the Linear and Euclidean Realm.
• MFX – Matter from graphics
• Pixel – Structuring geometrical shapes
• Tangram – Visual Registration with Physically Coherent Models

More information about department 1.

• Carbone – Advanced Malware Analysis and malware ecosystem studies
• Mocqua – Designing the Future of Computational Models.
• Mosel-Veridis – Proof-oriented development of computer-based systems.
• Pesto – Proof techniques for security protocols.
• Types – Logic, Proof Theory & Programming.

More information about department 2.

• Loreley – Large Scale Trustworthy Distributed Collaborative Systems.
• Optimist – Operation Research for Complex and Hybrid Decision System.
• Resist – Management of Dynamic Networks and Services.
• Simbiot – SIMulating and Building IOT.

More information about department 3.

• MosAIk
• Multispeech – Analysis, Perception and automatic recognition of speech.
• Semagramme – Linear Logic, Proof-nets and Categorial Grammars.
• SMArT – Statistical Machine Translation & Speech Modelization and Text.

More information about department 4.

• Biscuit – Bio-Inspired Situated Cellular and Unconventional Information Technology.
• Capsid – Computational Algorithms for Protein Structures and Interactions.
• Hucebot – Human-centered robotics.
• Larsen – Lifelong Autonomy and interaction skills for Robots in a Sensing ENvironment.
• NeuroRhythms – Computational Modeling and Experimental Analysis of Normal and Pathological Neural Rhythms for Medical Applications and Social Robotics.

More information about department 5.