- Computer Science (12)
- Logics and Meanings of Programs (12)
- Models and Principles (12)
- Programming Languages, Compilers, Interpreters (12)
- Software Engineering (11)
- Programming Techniques (7)
- Artificial Intelligence (incl. Robotics) (4)
- Mathematical Logic and Formal Languages (4)
- Computer Communication Networks (3)
- Theory of Computation (2)
- Algorithm Analysis and Problem Complexity (1)
- Performance and Reliability (1)
- Software Engineering/Programming and Operating Systems (1)
- Symbolic and Algebraic Manipulation (1)
- System Performance and Evaluation (1)