Probabilistic Model Checking: 2019-2020
Timetables
Lecturer | |
Term | Michaelmas Term 2019 (20 lectures) |
Classes | Michaelmas Term 2019Group 1 - Wednesday, 16:00 - 17:00 ( Weeks 4,5,7,8 ) Room 051 Group 2 - Wednesday, 17:00 - 18:00 ( Weeks 4,5,7,8 ) Room 051 |
Practicals | Michaelmas Term 2019Group 1 - Wednesday, 9:00 - 11:00 ( Weeks 3,4,6,8 ) Room 379 |
Lectures | Michaelmas Term 2019Wednesday, 12:00 - 13:00 ( Weeks 1-8 ) LTA Thursday, 10:00 - 11:00 ( Weeks 1-8 ) LTA Friday, 10:00 - 11:00 ( Weeks 1-4 ) Tony Hoare RHB |