The 40th International Symposium on Theoretical Aspects of Computer Science is planned to take place from 7th March to 9th March 2023 in Universität Hamburg, Hamburg, Germany. The conference will take place at Edmund-Siemers-Allee 1 (ESA Ost) of the university.      
For the first time, STACS 2023 will consist of two tracks, A and B, to facilitate the work of the program committee(s).      
Track A is dedicated to algorithms and data structures, complexity and games.      
Track B will cover automata, logic, semantics and theory of programming.

The STACS 2023 proceedings are online.


Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas 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

These lists are not exhaustive. In particular, both tracks also welcome submissions about current challenges.

Sponsored by