Course	Type	Bachelor / Master	Docent
Implementation of Heuristic Algorithms for Board Games	Practical course	B	Brix
Trends in Model Checking	Seminar	B/M	Quatmann