§1 Aims
The European Master's Program in Computational Logic (EMCL) is aiming to provide:
- Cooperation in the field of student exchange in order to open the possibility for students to obtain a joint master of science degree at FUB, TUD, UNL and TUW. To this end, the European partner universities will mutually recognize study achievements, examination achievements and the final grade earned in the course of the integrated study program, which is composed of modules, a master thesis and its defense. In addition, the European partner universities will recognize study achievements obtained at NICTA.
- Exchange of lecturers in order to foster the scientific collaboration, to further develop the curriculum and to share didactic and administrative experience.