STACS 2023 : Symposium on Theoretical Aspects of Computer Science
STACS 2023 : Symposium on Theoretical Aspects of Computer Science

STACS 2023 : Symposium on Theoretical Aspects of Computer Science

Hamburg, Germany
Event Date: March 07, 2023 - March 10, 2023
Submission Deadline: September 25, 2022
Notification of Acceptance: December 04, 2022
Camera Ready Version Due: January 08, 2023

Call for Papers

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.

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.

Track A:
- Petra Berenbrink (Universität Hamburg, Germany)
- Mamadou Moustapha Kanté (Université Clermont Auvergne, France)
Track B:
- Patricia Bouyer-Decitre (CNRS, France)
- Anuj Dawar (University of Cambridge, UK)

Submissions will be through EasyChair.
Authors are invited to submit an extended abstract or full paper with at most 12 pages (excluding the title page and the references section) to the appropriate track. The title page consists of the title of the paper and the abstract, but *no* author information. The first section of the paper should start on the next page.
The PCs reserve the right to reassign a paper to a different track.
The usage of pdflatex and the LIPIcs style file are mandatory no changes to font size, page geometry, etc. are permitted (see ( . Submissions not in the correct format or submitted after the deadline will not be considered.
The paper should contain a succinct statement of the issues and of their motivation, a summary of the main results, and a brief explanation of their significance, accessible to non-specialist readers. Proofs omitted due to space constraints must be put into an appendix, to be read by the program committee members at their discretion.
Simultaneous submission to other conferences with published proceedings or to journals is not allowed. PC members are excluded from submitting.
As in the previous two years, STACS 2023 will employ a lightweight double-blind reviewing process: submissions should not reveal the identity of the authors in any way. The purpose of the double-blind reviewing is to help PC members and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important references should not be omitted or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For example, authors may post drafts of their papers on the web, submit them to arXiv, and give talks on their research ideas.
There will be a rebuttal period for authors, see below for the dates. Authors will receive the reviews of their submissions (via EasyChair) and have three days to submit rebuttals (via EasyChair). These rebuttals become part of the PC discussions, but entail no specific responses.
At least one author of each accepted paper is expected to register at the conference. For authors who cannot present their paper in person a possibility for remote presentation will be offered.

Note that at least one of the authors will have to register for STACS'23 at the cost of around 400€.

Accepted papers will be published in the proceedings of the symposium. As usual, these proceedings will appear in the Leibniz International Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl. This guarantees perennial, free and easy electronic access, while the authors retain the rights over their work. With their submission, authors consent to sign a license authorizing the program committee chairs to organize the electronic publication of their paper, provided the paper is accepted


STACS 2023 : Symposium on Theoretical Aspects of Computer Science will take place in Hamburg, Germany. It’s a 4 days event starting on Mar 7, 2023 (Tuesday) and will be winded up on Mar 10, 2023 (Friday).

STACS 2023 falls under the following areas: THEORETICAL COMPUTER SCIENCE, COMPUTER SCIENCE, THEORY, etc. Submissions for this Symposium can be made by Sep 25, 2022. Authors can expect the result of submission by Dec 4, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Jan 8, 2023 to the official website of the Symposium.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the STACS 2023

  • Short Name: STACS 2023
  • Full Name: Symposium on Theoretical Aspects of Computer Science
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of STACS 2023
  • Event Type: Symposium
  • Website Link:
  • Location/Address: Hamburg, Germany

Credits and Sources

[1] STACS 2023 : Symposium on Theoretical Aspects of Computer Science

Check other Conferences, Workshops, Seminars, and Events


ICLA 2022: 10th Indian Conference on Logic and its Applications
Mar 3, 2022
RP 2022: Reachability Problems
Oct 17, 2022
IJRAP 2022: International Journal of Recent advances in Physics
EBL 2022: 20th EBL: XX Encontro Brasileiro de Lógica - XX Brazilian Logic Conference
Salvador - Bahia, Brazil
Sep 12, 2022
HPlan 2022: ICAPS Hierarchical Planning Workshop
Jun 20, 2022


SEC 2023: 9th International Conference on Software Engineering
Zurich, Switzerland
May 20, 2023
AESM 2022: Algorithms towards Ethical and Privacy challenges in Social Media recommendation systems - ICDMW
Orlando, Florida, USA
Aug 20, 2022
SI2022-09 H-Social Big Data Privacy 2022: Call for papers: Human-centric Social Big Data Privacy, Security and Frontier computing (HCIS Q1)
Aug 15, 2020
ArIT 2023: 4th International Conference on Advances in Artificial Intelligence Techniques
Sydney, Australia
Jun 17, 2023
ACM ESCC 2023: ACM--2023 European Symposium on Computer and Communications (ESCC 2023)
Manchester, United Kingdom
Apr 13, 2023


SEC 2023: 9th International Conference on Software Engineering
Zurich, Switzerland
May 20, 2023
Medhuman_ 2022: CFP for Medical Humanities_Consortium 2.2
Jul 1, 2022
MATC 2023: Call for Proposals: Impossible Theatre (43rd Annual Mid-America Theatre Conference)
Minneapolis, MN, USA
Mar 9, 2023
ICCAIRO 2023: 3rd International Conference on Control, Artificial Intelligence, Robotics and Optimization
Ierapetra, Crete, Greece
Apr 11, 2023
OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022