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
- Monday, 10.00 - 11.00, building C2, room 321 PhD students take precedence. Cancelled.