we determined the dates and times for the exams at the end of the semester as follows:
EndTerm: 19.02.2019, 14:00-16:00 (E1 3, HS 002)
Re-Exam: 26.03.2019, 14:00-16:00 (E1 3, HS 002)
Both exams will be open book, meaning you can bring any written or printed material to the exam you want. In case you have any issues with one of the given slotes above, please let us know as soon as possible.
the Automata, Games, and Verification Team