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, 9 a.m., UPEL, VirtualClass (oral exam) <color red>UPDATED>/color>
- Model checking resit 2, September 11th, 9 a.m., UPEL, VirtualClass (oral exam) <color red>UPDATED>/color>
Konsultacje / Office hours
- Please send an email to arrange a Skype meeting.