Computational complexity and cryptography Design and analysis of algorithms Formal languages and automata theory Logic Models of computation Randomness, geometry and discrete structures Semantics and reasoning Theory and algorithms for application domains