Computer Science; Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics); Programming Techniques; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
|