MAIN TOPICS

• algorithms and data structures
• artificial intelligence
• automata and formal languages
• bioinformatics
• complexity
• concurrency
• cryptography
• logic and formal specifications
• models of computations
• parallel and distributed computing
• semantics