This is an old revision of the document!
Informacje / Announcements
Exams
- Model checking standard exam, June 22-23, 3 p.m., UPEL, VirtualClass (oral exam)
- Model checking resit 1, September 4th, 3 p.m., UPEL, VirtualClass (oral exam)
- Model checking resit 2, September 11th, 3 p.m., UPEL, VirtualClass (oral exam)
Konsultacje / Office hours
- Please send an email to arrange a Skype meeting.