- Mathematical Logic and Formal Languages 30
- Artificial Intelligence 21
- Logics and Meanings of Programs 21
- Symbolic and Algebraic Manipulation 12
- Programming Languages, Compilers, Interpreters 10
- Discrete Mathematics in Computer Science 9
- Algorithm Analysis and Problem Complexity 8
- Mathematical Logic and Foundations 7
- Computation by Abstract Devices 6
- Theory of Computation 6
- Programming Techniques 5
- Software Engineering 5
- Mathematics of Computing 3
- Natural Language Processing (NLP) 2
- Coding and Information Theory 1
- Computer System Implementation 1
- Data Structures 1
- Database Management 1
- Models and Principles 1
- Numeric Computing 1