TOPICS include, but are not limited to:

• algorithms and data structures
• automata and formal languages
• combinatorial optimization
• constraint solving
• computational complexity
• cryptography
• combinatorics in computer science
• computational models and concepts
• algorithms for concurrent and distributed systems, networks
• proof theory and applications of logic to computer science
• model checking
• automated reasoning
• deductive methods