Stacs 23: Symposium on Theoretical Aspects of Computer Science 2023 University of Hamburg Hamburg, Germany, March 7-10, 2023 |
Conference website | http://www.stacs-conf.org/ |
Submission link | https://easychair.org/conferences/?conf=stacs23 |
Submission deadline | September 25, 2022 |
Beginning of rebuttal | November 14, 2022 |
End of rebuttal | November 16, 2022 |
Author notification | December 4, 2022 |
Final version | January 8, 2023 |
The STACS conference Symposium on Theoretical Aspects of Computer Science takes place each year since 1984, alternately in Germany and France.
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.
Submission Guidelines
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 http://www.dagstuhl.de/en/publications/lipics <http://www.dagstuhl.de/en/publications/lipics>).
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€.
Committees
Program Committee
Track A:
- Isolde Adler (University of Leeds, UK)
- Petra Berenbrink (chair, University of Hamburg, Germany)
- Mathilde Bouvel (Loria, France)
- Maike Buchin (University of Bochum, Germany)
- Jean Cardinal (Université libre de Bruxelles, Belgium)
- Amin Coja-Oghlan (Dortmund University, Germany)
- Franziska Eberle (London School of Economics and Political Science, UK)
- Omar Fawzi (École Normale Supérieure de Lyon, France)
- George Giakkoupis (INRIA Rennes, France)
- Danny Hermelin (Ben-Gurion University, Israel)
- Mamadou Kanté (chair, Université Clermont Auvergen, France)
- O-joung Kwon (Hanyang University, Korea)
- Michael Lampis (Université Paris Dauphine, France)
- Andrea Marino (University of Florence, Italy)
- Matthias Mnich (Harburg University of Technology, Germany)
- Arne Meier (University of Hannover, Germany)
- Nabil Mustafa (Université Sorbonne Paris Nord, France)
- Joseph Seffi Naor (Technion, Israel)
- Daniel Paulusma (University of Durham, UK)
- Kirk Pruhs (University of Pittsburgh, USA)
- Daniel Schmand (University of Bremen, Germany)
- Takeharu Shiraga (Chuo University, Japan)
- Maya Stein (Universidad Chile, Chile)
- Sébastien Tavenas (Université Savoie Mont Blanc, France)
- Victor Zamaraev (University of Liverpool, UK)
Track B:
- Luca Aceto (Reykjavik University, Iceland and Gran Sasso Science Institute, Italy)
- S Akshay (IIT Bombay, India)
- Achim Blumensath (Masaryk University, Czech Republic)
- Patricia Bouyer (co-chair, CNRS, France)
- Anuj Dawar (co-chair, University of Cambridge, UK)
- Silvia Ghilezan (University of Novi-Sad and Mathematical Institute SASA, Serbia)
- Stefan Göller (University of Kassel, Germany)
- Emmanuel Jeandel (University of Lorraine, France)
- Cynthia Kop (Radboud University Nijmegen, Netherlands)
- Daniel Neider (Universität Oldenburg, Germany)
- Marie Van Den Bogaard (Université Gustave Eiffel, France)
- James Worrell (University of Oxford, UK)
Organizing committee
- Petra Berenbrink
Publication
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.
Venue
The conference will be held in Hamburg, Germany.
Contact
Web: www.stacs-conf.org