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