Welcome to Verification!
Written on 20.10.2021 17:19 by Julian Siber
We have now uploaded the first lecture in the Materials section, where you can also find the lecture slides and the assignment sheets starting tomorrow. The video of Lecture 1 leaves room for improvement, and we are working on improving both the video and streaming setup.
Additionally, we would like to remind you to register in the CMS and set your tutorial preferences by the end of tomorrow. Remember that we can only find the globally best tutorial assignment if you only mark "Not Okay" if you have another lecture or tutorial in this time slot.
Looking forward to the next lecture,
Your Verification Team