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