Informacje / Announcements
Konsultacje / Office hour
- Thursday, 12.30 - 13.30, bilding C2, room 321 PhD students take precedence.
- I'm out of office June 21 (Thursday).
Egzaminy / Exams
- Model checking / Weryfikacja modelowa Monday, June 25, building B1, room H24, 8.00-10.00
- Model checking / Weryfikacja modelowa (correction exam) Monday, July 2, building B1, room H24, 7.45-8.45
- Model checking / Weryfikacja modelowa (correction exam) September 5, building C2, room 429, 10.00-11.30
