Aim and scope
The STACS conference Symposium on Theoretical Aspects of Computer Science 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.
The proceedings of STACS from 1984 to 2007 have been published in Lecture Notes in Computer Science, Springer. Since 2008, the proceedings are published in electronic form. You can find answers to questions related with this mode of publication in the FAQ section. You can also browse or search online publications.