Probabilistic Model Checking: 2017-2018

Timetables

Lecturer	Shaull Almagor \| Morteza Lahijanian
Term	Michaelmas Term 2017 (20 lectures)
Practicals	Michaelmas Term 2017 Monday, 9:00 - 11:00 ( Weeks 3,4,6,8 ) Thom Lab Monday, 14:00 - 16:00 ( Weeks 3,4,6,8 ) 379 Monday, 14:00 - 16:00 ( Weeks 3,4,6,8 ) 379 Possible extra hour - Monday, 11:00 - 12:00 ( Weeks 3,4,6,8 ) Thom Lab
Classes	Michaelmas Term 2017 Group 1 - Tuesday, 11:00 - 12:00 ( Weeks 4,5,7,8 ) Room 013 RHB Group 2 - Wednesday, 11:00 - 12:00 ( Weeks 4,5,7,8 ) Room 051
Lectures	Michaelmas Term 2017 Monday, 12:00 - 13:00 ( Weeks 1-8 ) LTB Tuesday, 12:00 - 13:00 ( Weeks 1-8 ) LTB Friday, 14:00 - 15:00 ( Weeks 1-4 ) LTA