- Logics and Meanings of Programs 4
- Mathematical Logic and Formal Languages 4
- Artificial Intelligence 3
- Software Engineering/Programming and Operating Systems 2
- Logic in AI 1
- Mathematical Logic and Foundations 1
- Mathematics of Computing 1
- Programming Techniques 1
- Simulation and Modeling 1
- Software Engineering 1
- Symbolic and Algebraic Manipulation 1
- System Performance and Evaluation 1
- The Computing Profession 1
- Theory of Computation 1