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


Ulotka (liflet)


io-mini.jpg m165mini.jpg