Welcome

The Symposium on Theoretical Aspects of Computer Science (STACS) takes place each year since 1984, alternately in Germany and France.

Typical topics of the conference include:

  • Algorithms and data structures, including: parallel and distributed algorithms, computational geometry, cryptography, algorithmic learning theory;
  • Automata and formal languages;
  • Computational and structural complexity
  • Logic in computer science, including: semantics, specification, and verification of programs, rewriting and deduction;
  • Current challenges, for example: biological computing, quantum computing, mobile and net computing.

Download the STACS 2012 Front Matter

Location

STACS 2012 will be held in France.