Artificial Intelligence Artificial intelligence Computer programming Mathematical Logic and Formal Languages Mathematical logic Programming Techniques Algorithm Analysis and Problem Complexity Algorithms Application software Computation by Abstract Devices Computer logic Computers Data Mining and Knowledge Discovery Data mining Information Systems Applications (incl. Internet) Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Software engineering