Welcome to the STACS 2020 website!

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

 

Due to the COVID-19 epedimic and the participation cancellations, the program has been revised : updated tentative program

 

Submissions

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...

Sponsors

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.
e
Online user: 1