Probabilistic Model Checking: 2023-2024
Timetables
Lecturer | |
Term | Michaelmas Term 2023 (20 lectures) |
Classes | Michaelmas Term 2023Group 1 - Monday, 10:00 - 11:00 ( Weeks 4,6,7,8 ) Room 051 Group 2 - Tuesday, 12:00 - 13:00 ( Weeks 4,6,7,8 ) Room 051 |
Practicals | Michaelmas Term 2023Group 1 - Monday, 15:00 - 17:00 ( Weeks 4,5,7,8 ) 379 Group 2 - Friday, 9:00 - 11:00 ( Weeks 4,5,7,8 ) 379 |
Lectures | Michaelmas Term 2023Tuesday, 15:00 - 16:00 ( Weeks 1-8 ) Tony Hoare Room (RHB) Thursday, 10:00 - 12:00 ( Weeks 1-4 ) Tony Hoare Room (RHB) Thursday, 10:00 - 11:00 ( Weeks 5-8 ) Tony Hoare Room (RHB) |