- Computer Science (2)
- Logics and Meanings of Programs (2)
- Models and Principles (2)
- Programming Languages, Compilers, Interpreters (2)
- Programming Techniques (2)
- Artificial Intelligence (incl. Robotics) (1)
- Mathematical Logic and Formal Languages (1)
- Performance and Reliability (1)
- Software Engineering (1)