- Computer Science (21)
- Mathematical Logic and Formal Languages (21)
- Software Engineering (21)
- Logics and Meanings of Programs (16)
- Programming Techniques (9)
- Programming Languages, Compilers, Interpreters (8)
- Artificial Intelligence (incl. Robotics) (7)
- Algorithm Analysis and Problem Complexity (5)
- Computation by Abstract Devices (4)
- Theory of Computation (4)
- Discrete Mathematics in Computer Science (3)
- Logic Design (3)
- Models and Principles (3)
- Symbolic and Algebraic Manipulation (3)
- Algorithms (1)
- Computational Biology/Bioinformatics (1)
- Computer Communication Networks (1)
- Data Mining and Knowledge Discovery (1)
- Data Structures (1)
- Database Management (1)
- Language Translation and Linguistics (1)
- Operating Systems (1)
- Order, Lattices, Ordered Algebraic Structures (1)
- Simulation and Modeling (1)
- System Performance and Evaluation (1)