Quantitative Model Checking

Holger Hermanns

Timetable

Title Type Location Serial Start End All Day
QMC 10 Lecture HS 001 of E1 3 12.06.25 12.06.25 No 
Tutorial QMC 10 Tutorial HS 001 of E1 3 26.06.25 26.06.25 No 
QMC 12 Lecture HS 001 of E1 3 03.07.25 03.07.25 No 
QMC 13 Lecture HS 001 of E1 3 10.07.25 10.07.25 No 
QMC Wrapup Lecture HS 001 of E1 3 17.07.25 17.07.25 No 
Tutorial Sheet 9 (QMC 12) New sheet 03.07.25 03.07.25 No 
Deadline Theory Assignment 4 + Practical Assignment 3 Assignment deadline 26.06.25 26.06.25 No 
Deadline Practical Assignment 1 Assignment deadline 22.05.25 22.05.25 No 
Tutorial Sheet 2 (QMC 3+4+5) New sheet 24.04.25 24.04.25 No 
Theory Assignment 3 New sheet 15.05.25 15.05.25 No 
Tutorial Sheet 3 (QMC 6) New sheet 08.05.25 08.05.25 No 
Theory Assignment 2 New sheet 24.04.25 24.04.25 No 
Practical Assignment 1 New sheet 08.05.25 08.05.25 No 
Practical Assignment 2 New sheet 22.05.25 22.05.25 No 
Tutorial Sheet 5 (QMC 8) New sheet 22.05.25 22.05.25 No 
Tutorial Sheet 10 (QMC 13) New sheet 10.07.25 10.07.25 No 
Deadline Theory Assignment 3 + Practical Assignment 2 Assignment deadline 05.06.25 05.06.25 No 
Tutorial Sheet 6 (QMC 9) New sheet 05.06.25 05.06.25 No 
Theory Assignment 4 New sheet 05.06.25 05.06.25 No 
Tutorial Sheet 1 (QMC 1+2) New sheet 10.04.25 10.04.25 No 
Tutorial Sheet 7 (QMC 10) New sheet 12.06.25 12.06.25 No 
Practical Assignment 3 New sheet 12.06.25 12.06.25 No 
Tutorial Sheet 8 (QMC 11) New sheet 26.06.25 26.06.25 No 
Theory Assignment 5 New sheet 26.06.25 26.06.25 No 
Deadline Theory Assignment 5 Assignment deadline 10.07.25 10.07.25 No 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators