Probabilistic Model Checking: 2012-2013

Timetables

Lecturer	Marta Kwiatkowska
Term	Michaelmas Term 2012 (20 lectures)
Classes	Michaelmas Term 2012 Group 1 - Monday, 14:00 - 15:00 ( Weeks 4,5,7,8 ) Room 441 Group 2 - Monday, 15:00 - 16:00 ( Weeks 4,5,7,8 ) Room 441
Lectures	Michaelmas Term 2012 Tuesday, 11:00 - 12:00 ( Week 1 ) Lecture Theatre B Tuesday, 12:00 - 13:00 ( Week 1 ) Lecture Theatre B Thursday, 11:00 - 12:00 ( Weeks 2-8 ) Lecture Theatre B Friday, 11:00 - 12:00 ( Weeks 2-8 ) Lecture Theatre B Friday, 12:00 - 13:00 ( Weeks 2-5 ) Lecture Theatre B
Practicals	Michaelmas Term 2012 Thursday, 9:00 - 11:00 ( Weeks 3,4,6,7 ) CAD-A