Quantitative Model Checking

Oral Exam Registrations

Written on 19.08.22 by Holger Hermanns

Dear students of QMC,

The oral exams are scheduled to take place on August 30, August 31, and September 6. Detailled timing follows.

It should by now be possible to register for the examination in LSF/HISPOS. Please register there before August 23, 2022.

Thank you,
   H H

Delayed start on May 4.

Written on 03.05.22 (last change on 03.05.22) by Holger Hermanns

Dear students of QMC,

Due to a conflicting appointment, the start of tomorrow's lecture (May 4) is delayed to 2:40 pm, we then continue without break until 4 pm.

See you,
  Holger Hermanns