- Artificial Intelligence (incl. Robotics) (7)
- Computer Science (7)
- Mathematical Logic and Formal Languages (7)
- Software Engineering (7)
- Logics and Meanings of Programs (6)
- Logic Design (3)
- Programming Techniques (3)
- Algorithms (1)
- Data Mining and Knowledge Discovery (1)
- Discrete Mathematics in Computer Science (1)
- Order, Lattices, Ordered Algebraic Structures (1)
- Symbolic and Algebraic Manipulation (1)