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