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