Next conference
STACS 2023 will take place from 7 March to 10 March 2023 in Hamburg, Germany, chaired by Petra Berenbrink (Universität Hamburg) and Mamadou Moustafa Kanté (Université Clermont Auvergne) for track A, Anuj Dawar (University of Cambridge) and Patricia Bouyer Décitre (CNRS/Université Paris Saclay) for track B.
Aim and scope
The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France.
Starting from 2023, STACS will consist of two tracks, A and B, to facilitate the work of the program committee(s). Typical topics of the conference include:
Track A:
- algorithms and data structures, including: design of parallel, distributed, approximation, parameterized and randomized algorithms; analysis of algorithms and combinatorics of data structures; computational geometry, cryptography, algorithms for machine learning, algorithmic game theory, quantum algorithms
- complexity, including: computational and structural complexity theory, parameterized complexity, randomness in computation
Track B:
- automata and formal languages, including: automata theory, games, algebraic and categorical methods, coding theory, models of computation, computability
- logic in computer science, including: finite model theory, database theory, semantics, type systems, program analysis, specification & verification, rewriting and deduction, learning theory, logical aspects of complexity
Proceedings
The proceedings of STACS from 1984 to 2007 have been published in Lecture Notes in Computer Science, Springer. Since 2008, the proceedings are published electronically by the Leibniz Center for Informatics in the open access series Leibniz International Proceedings in Informatics (LIPIcs). You can access the proceedings from this page. The referee process of STACS has a rebuttal phase since 2016, and become double blind since 2020.