International Masters Programme in Computational Logic

MIAA is linked to the International Masters Programme in Computational Logic at the faculty of Computer Science of the Technical University of Dresden, Germany.

Within this masters programme one can obtain the usual german degree of Diplom-Informatiker simultaneously with the new german title of Master of Computer Science. It is a two-year course, requiring a Bachelor's degree in Computer Science or comparable university-equivalent qualification.

Several disciplines of MIAA are accredited by the International Masters Programme. For a list of these click here.

Similarly MIAA recognizes disciplines taken in Dresden, as in other masters, on a case basis.

The idea of an International Master allows to fulfil the course requirements at different European universities, in particular at the Universidade Nova de Lisboa, with a minimum stay of one term in Dresden. Moreover, the master thesis can be supervised jointly by professors accredited by MIAA and professors of  TU Dresden.

This joint recognition of disciplines will evolve into an european distributed masters in Computational Logic, under the auspices of the Network of Excellence in Computational Logic - CoLogNet.