The 41st International Symposium on Theoretical Aspects of Computer Science is planned to take place from 12th March to 14th March 2024 in Clermont-Ferrand, France.

For the second time, STACS 2024 will consist of two tracks, A and B, to facilitate the work of the program committee(s).

Track A focuses on algorithms, data structures and complexity.
Track B focuses on automata, logic, semantics, and theory of programming.

Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include:

Track A. Algorithms, Data Structures and Complexity

    Design of parallel algorithms
    Distributed algorithm
    Approximation algorithms
    Parameterised algorithms
    Randomised algorithms
    Analysis of algorithms
    Combinatorics of data structures
    Computational geometry
    Cryptography
    Algorithms for machine learning
    Algorithmic game theory
    Quantum algorithms
    Computational and structural complexity theory
    Parameterised complexity
    Randomness in computation

Track B. Automata, Logic, Semantics and Theory of Programming

    Automata theory
    Games and multi-agent systems
    Algebraic and categorical methods
    Models of computation
    Concurrency
    Timed systems
    Finite model theory
    Database theory
    Semantics
    Type systems
    Program analysis
    Specification and verification
    Rewriting and deduction
    Learning theory
    Logical aspects of computability and complexity