The program is focused on artificial intelligence, computational logic, deduction systems, logic and constraint programming, formal software development methods, formal hardware design methods, deductive databases, as well as logical principles of cognitive systems. The course structure is divided into five compulsory basic modules, three selected advanced modules, a project, and a research master thesis.