Welcome to the STACS 2020 website!

The 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020) was held in Montpellier, March 10 — 13, 2020. It was organized by the LIRMM (Université de Montpellier, CNRS) and hosted by Polytech' Montpellier on the Triolet Compus of Montpellier University.


The list of accepted papers is out, as well as the program.

Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science.

Typical areas include (but are not limited to):

  • 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, algorithmic learning theory, algorithmic game theory.
  • Automata and formal languages,
    including: algebraic and categorical methods, coding theory.
  • Complexity and computability,
    including: computational and structural complexity theory, parameterized complexity, randomness in computation;
  • Logic in computer science,
    including: finite model theory, database theory, semantics, specification verification, rewriting and deduction.
  • Current challenges,
    for example: natural computing, quantum computing, mobile and net computing, computational social choice.

More on submissions...


LIRMM    CNRS    Université de Montpellier    MUSE


Important dates

  • Submission deadline:
    September 30, 2019, 23:59 (AoE).
  • Rebuttal deadline:
    November 28, 2019, 23:59 (AoE).
  • Notification:
    December 20, 2019.
  • Final version:
    January 18, 2020.
  • STACS 2020:
    March 10-13, 2020.
Online user: 2 Privacy