Probabilistic Model Checking: 2022-2023

Timetables

Lecturer	Alessandro Abate
Term	Michaelmas Term 2022 (20 lectures)
Classes	Michaelmas Term 2022 Group 1 - Wednesday, 14:00 - 15:00 ( Weeks 4,6,7,8 ) Room 051 Group 2 - Wednesday, 15:00 - 16:00 ( Weeks 4,6,7,8 ) Room 051 Trinity Term 2023 REVISION - Friday, 10:00 - 12:00 ( Week 3 ) THR, RHB
Practicals	Michaelmas Term 2022 Group 2 - Thursday, 9:00 - 11:00 ( Weeks 4,5,7,8 ) Thom Lab Group1 - Monday, 13:00 - 15:00 ( Weeks 4,5,7,8 ) Thom Lab
Lectures	Michaelmas Term 2022 Tuesday, 14:00 - 15:00 ( Weeks 1-8 ) Tony Hoare RHB Thursday, 14:00 - 15:00 ( Weeks 1-8 ) Tony Hoare RHB Thursday, 15:00 - 16:00 ( Weeks 1-4 ) Tony Hoare RHB