Timetable MT2015 LTB

Lecture

Practical

Class

Timetable for Michaelmas Term 2015 - LTB

	Monday	Tuesday	Wednesday	Thursday	Friday
9:00			Discrete Mathematics 9:00 - 10:00 Weeks 1-8 LTB		Discrete Mathematics 9:00 - 10:00 Weeks 1-8 LTB
9:00	Computational Learning Theory Group 3 9:00 - 10:00 Weeks 3,5,6,7,8 LTB
10:00		Probabilistic Model Checking 10:00 - 11:00 Weeks 1-7 LTB	Probabilistic Model Checking 10:00 - 11:00 Weeks 1,3,4,5,6,7 LTB
10:00	Computational Learning Theory Group 4 10:00 - 11:00 Weeks 3,5,6,7,8 LTB
11:00	Object Oriented Programming 11:00 - 12:00 Weeks 1-8 LTB	Probabilistic Model Checking 11:00 - 12:00 Weeks 1-7 LTB	Linear Algebra 11:00 - 12:00 Weeks 1-8 LTB	Computer-Aided Formal Verification 11:00 - 12:00 Weeks 5-7 LTB	Intelligent Systems 11:00 - 12:00 Weeks 1-8 LTB
12:00	Foundations of Computer Science 12:00 - 13:00 Weeks 1-8 LTB	Intelligent Systems 12:00 - 13:00 Weeks 1-8 LTB	Object Oriented Programming 12:00 - 13:00 Weeks 1-8 LTB
15:00	Computer-Aided Formal Verification 15:00 - 16:00 Weeks 1,2,4,5,6,7 LTB	Principles of Programming Languages 15:00 - 16:00 Weeks 1-8 LTB	Computer-Aided Formal Verification 15:00 - 16:00 Weeks 5-7 LTB
16:00		Automata, Logic and Games 16:00 - 17:00 Weeks 1-7 LTB		Automata, Logic and Games 16:00 - 17:00 Weeks 1-7 LTB
17:00		Automata, Logic and Games 17:00 - 18:00 Weeks 1-7 LTB			Computer-Aided Formal Verification 17:00 - 18:00 Weeks 2-5 LTB