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.