The 40th International Symposium on Theoretical Aspects of Computer Science is planned to take place from 7 March to 10 March 2023 in Hamburg, Germany.

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.

LISTS OF TOPICS

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.