Automata, Games, and Verification
Advanced Lecture (Vertiefungsvorlesung), Summer Term 2015, 6 CP
Exams
- End-of-term exam: 30.07.2015, 16:00-18:00, E2 2, Günter-Hotz-Hörsaal
- End-of-semester exam: 01.10.2015, 10:00-12:00, E2 5, HS II
- Final grade: best grade of end-of-term or end-of-semester exam.
IMPORTANT:
The date of the Re-Exam has changed. The new date is the first of October at 10am.
If this causes any problems to you, please inform us immediately!