- Artificial Intelligence (incl. Robotics) (4)
- Computer Science (4)
- Logic Design (4)
- Logics and Meanings of Programs (3)
- Mathematical Logic and Formal Languages (3)
- Software Engineering (3)
- Computation by Abstract Devices (1)
- Computational Biology/Bioinformatics (1)
- Computer-Aided Engineering (CAD, CAE) and Design (1)
- Simulation and Modeling (1)