News
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!