Algebra Artificial Intelligence (incl. Robotics) Artificial intelligence Computational complexity Computer Science Computer science Data processing Discrete Mathematics in Computer Science Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Software engineering Symbolic and Algebraic Manipulation