Probabilistic Model Checking: 2017-2018
Timetables
Lecturer |
|
Term |
Michaelmas Term 2017 (20 lectures) |
Practicals |
Michaelmas Term 2017Monday, 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 2017Group 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 2017Monday, 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 |