Probabilistic Model Checking: 2018-2019

Timetables

Lecturer	Marta Kwiatkowska \| Bruno Lacerda
Term	Michaelmas Term 2018 (20 lectures)
Classes	Michaelmas Term 2018 Group 1 - Monday, 12:00 - 13:00 ( Weeks 4,5,7 ) Room 441 Group 1 - Thursday, 12:00 - 13:00 ( Week 8 ) Room 441 Group 2 - Wednesday, 16:00 - 17:00 ( Weeks 4,5,7,8 ) Room 051
Lectures	Michaelmas Term 2018 Wednesday, 10:00 - 11:00 ( Weeks 1-8 ) LTB Thursday, 10:00 - 11:00 ( Weeks 1-4 ) LTA Friday, 11:00 - 12:00 ( Weeks 1-8 ) LTA
Practicals	Michaelmas Term 2018 Group 1 - Friday, 9:00 - 11:00 ( Weeks 3,4,6,8 ) Thom Lab