Informacje / Announcements
Konsultacje / Office hours
- Please send an email to arrange an on-line meeting.
Model checking exams
- Zero exam - 10.06.2022, 9.30-11.00, building C-2, #224
- Main exam - 05.07.2022, 11.00-12.30, building C-2, #224
- Resit 1 - 05.09.2022, 11.00-12.30, building C-2, #429
- Resit 2 - 12.09.2022, 11.00-12.30, building C-2, #429