- Computer Science (3)
- Mathematical Logic and Formal Languages (3)
- Software Engineering (3)
- Symbolic and Algebraic Manipulation (3)
- Logics and Meanings of Programs (2)
- Algorithm Analysis and Problem Complexity (1)
- Artificial Intelligence (incl. Robotics) (1)
- Computation by Abstract Devices (1)
- Computational Biology/Bioinformatics (1)
- Programming Techniques (1)
- Theory of Computation (1)