Artificial Intelligence (incl. Robotics) Artificial intelligence Computer Science Computer science Computer logic Computer programming Computers Data Mining and Knowledge Discovery Data mining Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical logic Programming Languages, Compilers, Interpreters Programming Techniques Programming languages (Electronic computers) Software Engineering Software engineering Theory of Computation