Verification

Midterm 2 seating; office hour; practice sheet; no tutorial on Thursday

Written on 17.06.2025 17:22 by Anran Wang

Dear Students,

•⁠  ⁠Midterm 2 seating will be arranged and you can find it later on your personal page. 
•⁠  ⁠Remember to bring your ID/passport and student card! 
•⁠  ⁠No lecture next Monday, office hour instead in the usual time and place. 
•⁠  ⁠The lectures starting from LTL syntax and semantics are relevant. We will release a practice sheet (sheet 9) with sample solutions for the lectures this week. 
•⁠  ⁠There is no tutorial this Thursday due to public holiday, please go to the Friday one. 

Good luck!
 
Best,
Verification Team