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