STACS

STACS 2025 took place from March 4 to March 7, 2025 in Jena, Germany. It was chaired by Kim Thắng Nguyễn (Université Grenoble-Alpes, France) and Michał Pilipczuk (University of Warsaw, Poland) for track A, Olaf Beyersdorff (Friedrich Schiller University Jena, Germany) and Elaine Pimentel (University College London, UK) for track B.

The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France, and is dedicated to theoretical computer science in all its aspects.

Starting from 2023, STACS consists of two tracks, A and B, to facilitate the work of the program committee(s).

Topics

The 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

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 the list of past conferences. The referee process of STACS has a rebuttal phase since 2016, and has been double blind since 2020.

STACS has joined SafeToC in 2024. Registering for STACS requires that you agree to follow the Code of Conduct described below.

STACS is committed to be a respectful forum for its participants, free from any violence, discrimination or harassment of any nature. All STACS attendees are expected to behave accordingly.

If you experience or witness violence, discrimination, harassment or other unethical behaviour at the conference, we encourage you to seek advice and remedy through one or more of the following options:

• Consult with the SafeToC advocates (to be named before the conference).
• Report to the conference chair, the PC chairs, or the steering committee chairs. The chairs are entitled to remove registered participants from the conference (without refunding the conference fees) if they are deemed to pose an ethical risk to other participants. The conference chair may contact the university committee ALEX dedicated to violence, unethical behaviour or harassment of any kind. Besides having an appointment with the victim, people in this committee can help for a medical support or for engaging any legal pursuit.