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

  • Please send an email to arrange a Skype meeting.

Links