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