Probabilistic Model Checking: 2021-2022
Timetables
Lecturer | |
Term | Michaelmas Term 2021 (20 lectures) |
Classes | Michaelmas Term 2021Group 1 - Monday, 10:00 - 11:00 ( Weeks 4,5,7,8 ) Online Group 2 - Tuesday, 14:00 - 15:00 ( Weeks 4,5,7,8 ) Room 051 Group 3 - Tuesday, 15:00 - 16:00 ( Weeks 4,5,7,8 ) Room 051 |
Practicals | Michaelmas Term 2021Group 1 - Wednesday, 15:00 - 17:00 ( Weeks 3,4 ) Thom Lab Group 1 - Thursday, 13:00 - 15:00 ( Weeks 6,8 ) Thom Lab Group 2 - Thursday, 14:00 - 16:00 ( Weeks 3,4 ) Online Group 2 - Friday, 9:00 - 11:00 ( Weeks 6,8 ) Online |
Lectures | Michaelmas Term 2021Office Hours - Tuesday, 16:00 - 17:00 ( Weeks 1,2,3,4,5,6,7,8 ) Online Office Hours - Friday, 16:00 - 17:00 ( Weeks 1,2,3,4,5,6,7,8 ) Online |