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 two master seminars in the Computational Logic group.