
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

