Lecture 03

Written on 20.11.2023 08:43 by Nima Amini

Dear all,

Today's lecture on "Ancient and Modern (Quantitative) Verification" will be held by Professor Benjamin Kaminski. You can attend it online via zoom link at the course page (CMS): information > materials.
Also, the lecture record will be available in the materials after the session, so make sure to either attend the online session or watch the record to answer this week's quiz.
The quiz 03 will be available to answer after the lecture. You can find it at: CMS > personal status.
The quiz deadline is by the end of Friday, 24.11 at 23:59.

Enjoy the lecture!

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.