Students have to take the most important examinations in the modules of “introduction to computational logic“, “advanced logic“, “foundations of logic and constraint programming“ and “deduction systems“. Students have to spend at least one semester at one of the partner universities. This international master’s programme is available at the Universities of Technology of Dresden, Lisbon, Bolzano, Madrid and Vienna. The master’s degree is awarded after students have written a master’s thesis (an individual one or one written as a group work) and presented and defended it before an examination panel.
To apply for this programme students have to provide proof of a prior qualifying education and adequate knowledge of English.