News

Midterm registration closes on Sunday; released Sheet 3 sample solution and sheet 4

Written on 09.05.25 by Anran Wang

Dear Students,

Here is a reminder that if you wish to take part in the midterm, you should register before midnight of this Sunday (11.05 23:59).

Also, the sheet 3 sample solution and sheet 4 are available on cms.

Have a nice weekend!

Best,

Verification Team

Midterm Registration

Written on 05.05.25 by Tobias Gürtler

Dear Students,

You can now register for the first midterm on your personal status page here in the CMS. If you intend to participate in the first midterm, then you must register until Sunday 11th May at 23:59.

Kind regards,

The Verification Team

Released: Sheet 2 sample solution; sheet 3

Written on 02.05.25 by Anran Wang

Dear Participants,

The sample solution for sheet 2 is released, as well as sheet 3.

Have a nice weekend!

Best,

Verification Team

No tutorial next Thursday; released sheet 2 and sheet 1 sample solution

Written on 25.04.25 by Anran Wang

Dear participants,

Here is a reminder that there will be no tutorial next Thursday, please go to the Friday one instead.

Also, sheet 1 sample solution and sheet 2 are available for download in CMS now.
Note: You can submit an answer to all exercises of sheet 2.

Some hints… Read more

Dear participants,

Here is a reminder that there will be no tutorial next Thursday, please go to the Friday one instead.

Also, sheet 1 sample solution and sheet 2 are available for download in CMS now.
Note: You can submit an answer to all exercises of sheet 2.

Some hints regarding sheet 1:

E1.1: Remember to define the labelling function for all states, otherwise it is not a (complete) function.
E1.3: Giving the top and bottom elements is not enough as a proof for existence of supremum/infimum. You need to prove all subsets have supremum and infimum!

Best,

Verification Team

Released: Sheet 0 sample solution; sheet 1

Written on 17.04.25 by Anran Wang

Dear participants,

Sheet 0 sample solution and sheet 1 are available for download in CMS now.

Happy easter!

Best,
Verification Team

Midterm 1 time change, date remains

Written on 15.04.25 (last change on 15.04.25) by Anran Wang

Dear participants of Verification,

Due to the large number of registrations on CMS and the limited capacity of HS003, we have to move midterm 1 to 14-16 o’clock (still on 20.05) to Math lecture hall 1 at E2 5.

Best,

Verification team

Blackboard Photos

Written on 15.04.25 by Benjamin Kaminski

We have now uploaded Photos of the blackboard drawings and writings (thanks to Lucas for taking them). Please beware that this is a best effort service. It is and will be neither complete nor comprehensive as stand-alone material. But we do hope it complements the course material and is useful to… Read more

Best,

Benjamin

Tutorials for this week

Written on 14.04.25 (last change on 14.04.25) by Anran Wang

Dear participants,

The tutorials have been assigned. If you have any problem, please contact us through discord or via email.

Alternative tutorial replacing the first Friday tutorial

(This does not concern participants of the Thursday tutorial.)

Due to public holiday (Karfreitag) on 18.… Read more

Dear participants,

The tutorials have been assigned. If you have any problem, please contact us through discord or via email.

Alternative tutorial replacing the first Friday tutorial

(This does not concern participants of the Thursday tutorial.)

Due to public holiday (Karfreitag) on 18. April, there will be no tutorial on that Friday.
However, we offer a replacement tutorial on 17. April, starting from 10:00 c.t. at seminar room E1 3 107 (on the first floor of the same building where the lecture takes place).
If you can not join in this time, we will provide sample solutions to exercise sheet 0, and will be available for questions.

All subsequent Friday tutorials will take place in the regular time and place.

Best,
Verification Team