Master Projects
Here you find general information concerning the organisation of master
projects in the Computational Logic group. A separate page lists
important
formalities.
Requirements
Students are required to do at least one master seminar in the
Computational Logic group.