Master Projects

Here you find general information concerning the organisation of master projects in the Computational Logic group. A separate page lists formalities.

Requirements

Students are required to do two master seminars in the Computational Logic group.