Dates and Times
Welcome to Verification!
We have two small corrections regarding dates and times: First, we had to move the time slot for our office hour. The office hour will take place Mondays, 1pm - 3pm (not 2pm - 4pm). Second, other than written on the slides today, the first assignment will be handed out next Tuesday after the lecture. It is due Tuesday the week after, before the lecture starts. The slides will be updated accordingly.
Looking forward to the coming semester,
Your Verification Team