STACS: Symposium on Theoretical Aspects of Computer Science

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
STACS 2023 Symposium on Theoretical Aspects of Computer Science
Mar 7, 2023 - Mar 10, 2023 Hamburg, Germany Sep 25, 2022
STACS 2022 Symposium on Theoretical Aspects of Computer Science
Mar 15, 2022 - Mar 15, 2022 Marseille, France Oct 1, 2021
STACS 2021 Symposium on Theoretical Aspects of Computer Science
Mar 16, 2021 - Mar 19, 2021 Saarbrücken, Germany Oct 5, 2020
STACS 2020 Symposium on Theoretical Aspects of Computer Science
Mar 10, 2020 - Mar 13, 2020 Montpellier, France Sep 30, 2019
STACS 2019 36th International Symposium on Theoretical Aspects of Computer Science
Mar 13, 2019 - Mar 16, 2019 TU Berlin, Berlin, Germany Oct 1, 2018
STACS 2018 Symposium on Theoretical Aspects of Computer Science
Feb 28, 2018 - Mar 3, 2018 Caen, France Sep 25, 2017
STACS 2017 34th International Symposium on Theoretical Aspects of Computer Science
Mar 8, 2017 - Mar 11, 2017 Hannover, Germany Sep 25, 2016
STACS 2016 Symposium on Theoretical Aspects of Computer Science
Feb 17, 2016 - Feb 20, 2016 Orléans, France Sep 18, 2015
STACS 2014 31st International Symposium on Theoretical Aspects of Computer Science
Mar 5, 2014 - Mar 8, 2014 Lyon, France Sep 20, 2013
STACS 2013 30th International Symposium on Theoretical Aspects of Computer Science
Feb 27, 2013 - Mar 2, 2013 Kiel, Germany Sep 21, 2012
STACS 2012 Symposium on Theoretical Aspects of Computer Science
Feb 29, 2012 - Mar 3, 2012 Paris, France Sep 23, 2011
STACS 2011 28th International Symposium on Theoretical Aspects of Computer Science
Mar 10, 2011 - Mar 12, 2011 Dortmund, Germany Sep 24, 2010
STACS 2010 27th International Symposium on Theoretical Aspects of Computer Science
Mar 4, 2010 - Mar 6, 2010 Nancy, France Sep 22, 2009
 
 

Present CFP : 2023

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.

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.

PROGRAM COMMITTEE CHAIRS
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
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 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€.

PROCEEDINGS
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
 

Related Resources

EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
IEEE ICA 2022   The 6th IEEE International Conference on Agents
ACM-EI/Scopus-ACAI 2022   2022 5th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI 2022)-EI Compendex
STACS 2022   Symposium on Theoretical Aspects of Computer Science
ECCSIT 2022   2022 European Conference on Computer Science and Information Technology (ECCSIT 2022)
ICCDA 2023   2023 The 7th International Conference on Compute and Data Analysis (ICCDA 2023)
ICoSR 2022   2022 International Conference on Service Robotics(ICoSR 2022)
IWPR 2023   2023 8th International Workshop on Pattern Recognition (IWPR 2023)
CBW 2023   4th International Conference on Cloud, Big Data and Web Services
SEAI 2023   2023 3rd IEEE International Conference on Software Engineering and Artificial Intelligence (SEAI 2023)