Quantitative Model Checking

Holger Hermanns

Timetable

Title Type Location Serial Start End All Day
Tutorial Sheet 9 (QMC 12) New sheet 03.07.25 03.07.25 No 
Tutorial QMC 1+2 Tutorial HS 001 of E1 3 17.04.25 17.04.25 No 
Tutorial Sheet 1 (QMC 1+2) New sheet 10.04.25 10.04.25 No 
Office Hour Office Hour Room 533 of E1 3 28.04.25 N/A Yes 
Tutorial QMC 3+4+5 Tutorial HS 001 of E1 3 08.05.25 08.05.25 No 
Practical Assignment 1 New sheet 08.05.25 08.05.25 No 
Tutorial QMC 6 Tutorial HS 001 of E1 3 15.05.25 15.05.25 No 
QMC 3 Lecture HS 001 of E1 3 17.04.25 17.04.25 No 
Theory Assignment 3 New sheet 15.05.25 15.05.25 No 
QMC 5 Lecture HS 001 of E1 3 24.04.25 24.04.25 No 
Deadline Theory Assignment 1 + 2 Assignment deadline 08.05.25 08.05.25 No 
Deadline Practical Assignment 1 Assignment deadline 22.05.25 22.05.25 No 
Theory Assignment 1 New sheet 17.04.25 17.04.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 
Tutorial QMC 7 Tutorial HS 001 of E1 3 22.05.25 22.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 
Tutorial QMC 8 Tutorial HS 001 of E1 3 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 QMC 9 Tutorial HS 001 of E1 3 12.06.25 12.06.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 
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators