Thematic teams
Algebra and computation
Algorithms and complexity
Analysis and conception of systems
Automata and applications
Combinatorics
Distributed computing
Modeling and verification
Proofs and programs
Theory and algorithmics of graphs