The 42nd International Symposium on Theoretical Aspects of Computer Science took place from March 04 to March 07, 2025 in Jena, Germany. The pre-conference workshop started on March 03.
STACS 2025 consists of two tracks. Track A focuses on algorithms, data structures and complexity. Track B focuses on automata, logic, semantics, and theory of programming.
The proceedings are now available.
(click for full-size version)
