Probabilistic Model Checking: 2015-2016
Timetables
Lecturer |
|
Term |
Michaelmas Term 2015 (20 lectures) |
Classes |
Michaelmas Term 2015Group 1 - Wednesday, 14:00 - 15:00 ( Weeks 4,5,7,8 ) Room 051 |
Practicals |
Michaelmas Term 2015Group - Monday, 9:00 - 11:00 ( Weeks 3,4,6,8 ) Room 379 Group 2 - Friday, 11:00 - 13:00 ( Weeks 3,4,6,8 ) Room 379 |
Lectures |
Michaelmas Term 2015Tuesday, 10:00 - 11:00 ( Weeks 1-7 ) LTB Tuesday, 11:00 - 12:00 ( Weeks 1-7 ) LTB Wednesday, 10:00 - 11:00 ( Weeks 1,3,4,5,6,7 ) LTB |