Thematic teams
Algebra and computation
Algorithms and complexity
Automata and applications
Combinatorics
Distributed computing
Modeling and verification
Programs and Languages (PL)
Proofs and programs
Theory and algorithmics of graphs