- Computer Science (4)
- Mathematical Logic and Formal Languages (4)
- Models and Principles (4)
- Programming Techniques (4)
- Programming Languages, Compilers, Interpreters (3)
- Software Engineering (3)
- Algorithm Analysis and Problem Complexity (1)
- Artificial Intelligence (incl. Robotics) (1)
- Language Translation and Linguistics (1)
- Logics and Meanings of Programs (1)
- Simulation and Modeling (1)
- Theory of Computation (1)