International Symposium on Theoretical Aspects of Computer Science

摘要截稿:

全文截稿: 2019-09-30

开会时间: 2020-03-10

会议难度:

CCF分类: C类

会议地点: Montpellier, France

Overview

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

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.