We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following:

• algorithmic game theory

• algorithmic learning theory

• algorithms and data structures (incl. sequential, parallel distributed, randomized, approximation, graph, network, on-line, parameterized, optimization algorithms)

• automata and formal languages

• bioinformatics

• combinatorics on words, trees, and other structures

• computational complexity (structural and model-related)

• computational geometry

• computer-assisted reasoning

• concurrency theory

• cryptography and security

• databases and knowledge-based systems

• formal specifications and program development

• foundations of computing

• logic, algebra and categories in computer science

• mobile computing

• models of computation

• networks (incl. wireless, sensor, ad-hoc networks)

• parallel and distributed computing

• quantum computing

• semantics and verification of programs

• theoretical issues in artificial intelligence

• types in computer science