Timetable MT2017

Lecture

Practical

Class

Timetable for Michaelmas Term 2017

	Monday	Tuesday	Wednesday	Thursday	Friday
9:00	Databases 9:00 - 10:00 Weeks 1-8 LTA	Linear Algebra 9:00 - 10:00 Weeks 1-8 LTB	Linear Algebra 9:00 - 10:00 Weeks 1-8 LTB	Computational Game Theory 9:00 - 10:00 Week 1 LTA	Computational Game Theory 9:00 - 10:00 Week 1 LTA
9:00			Compilers 9:00 - 10:00 Weeks 1-8 LTA
9:00	Probabilistic Model Checking 9:00 - 11:00 Weeks 3,4,6,8 Thom Lab	Intelligent Systems Group 1 9:00 - 11:00 Weeks 2-8 Thom Lab	Databases Group 1 9:00 - 11:00 Weeks 5-8 Thom Lab	Machine Learning Group 1 9:00 - 11:00 Weeks 4,6,7,8 Thom Lab
9:00		Foundations of Computer Science Group 1 9:00 - 10:00 Weeks 3-7 Room 051		Automata, Logic and Games Group 1 9:00 - 10:00 Weeks 2-7 Room 051	Automata, Logic and Games Group 2 9:00 - 10:00 Weeks 2-7 Room 051
9:00		Foundations of Computer Science Group 1 9:00 - 10:00 Week 8 Room 441		Machine Learning Group 6 9:00 - 10:00 Weeks 3,5,6,8 Room 114 RHB	Intelligent Systems Group 4 9:00 - 10:00 Weeks 3,5,7,8 Room 114 RHB
10:00	Databases 10:00 - 11:00 Weeks 1-8 LTA	Concurrent Algorithms and Data Structures 10:00 - 11:00 Weeks 1-7 LTA	Concurrent Algorithms and Data Structures 10:00 - 11:00 Weeks 1-7 LTA	Concurrent Algorithms and Data Structures 10:00 - 11:00 Weeks 1-7 LTA	Machine Learning 10:00 - 11:00 Weeks 1-4 LTA
10:00	Linear Algebra 10:00 - 11:00 Weeks 1-8 LTB		Discrete Mathematics 10:00 - 11:00 Weeks 1-8 LTB		Discrete Mathematics 10:00 - 11:00 Weeks 1-8 LTB
10:00	Principles of Programming Languages Group 1 10:00 - 12:00 Weeks 3,4,6,8 Room 379
10:00	Machine Learning Group 1 10:00 - 11:00 Weeks 2,3,5,6,8 Room 051	Principles of Programming Languages Group 1 10:00 - 11:00 Weeks 3,5,7,8 Room 051	Geometric Modelling Group 1 10:00 - 11:00 Weeks 2,4,6,8 Room 441	Intelligent Systems Group 2 10:00 - 11:00 Weeks 3,5,7,8 Room 051	Intelligent Systems Group 5 10:00 - 12:00 Weeks 3,5,7,8 Room 051
10:00	Computational Game Theory Group 1 10:00 - 11:00 Weeks 3,4,6,8 Room 013 RHB	Computational Game Theory Group 6 10:00 - 11:00 Weeks 3,4,6,8 Room 114 RHB	Machine Learning Group 5 10:00 - 11:00 Weeks 3,5,6,8 Room 051	Categories, Proofs and Processes Group 6 10:00 - 11:00 Weeks 2,4,5,6,7,8 Room 441
10:00	Categories, Proofs and Processes Group 5 10:00 - 11:00 Weeks 2-8 Room 114 RHB			Categories, Proofs and Processes Group 6 10:00 - 11:00 Week 3 Tony Hoare RHB
10:00	Computational Game Theory Group 5 10:00 - 11:00 Weeks 3,4,6,8 Tony Hoare RHB
11:00	Functional Programming 11:00 - 12:00 Weeks 2-4 LTB	Functional Programming 11:00 - 12:00 Weeks 1-8 LTB	Computer-Aided Formal Verification 11:00 - 12:00 Weeks 1-8 LTA	Functional Programming 11:00 - 12:00 Weeks 1-8 LTB	Compilers 11:00 - 12:00 Weeks 1-8 LTA
11:00		Models of Computation 11:00 - 12:00 Weeks 1-8 LTA			Automata, Logic and Games 11:00 - 12:00 Weeks 1,2,3,4,5,7,8 LTB
11:00					Automata, Logic and Games 11:00 - 12:00 Week 6 Tony Hoare Room, RHB
11:00	Probabilistic Model Checking Possible extra hour 11:00 - 12:00 Weeks 3,4,6,8 Thom Lab	Computer Security Group 1 11:00 - 13:00 Weeks 2,3,4,6,7,8 T60.05		Geometric Modelling 11:00 - 13:00 Weeks 2,4,6,8 Room 379	Physically Based Rendering 11:00 - 13:00 Weeks 4-8 Thom Lab
11:00				Machine Learning Group 2 11:00 - 13:00 Weeks 4,6,7,8 Thom Lab
11:00	Computational Game Theory Group 2 11:00 - 12:00 Weeks 3,4,6,8 Tony Hoare RHB	Probabilistic Model Checking Group 1 11:00 - 12:00 Weeks 4,5,7,8 Room 013 RHB	Functional Programming Group 1 11:00 - 12:00 Weeks 4,5,6,8 Room 013 RHB	Concurrent Algorithms and Data Structures Group 1 11:00 - 12:00 Weeks 3,4,5,7,8 Room 013 RHB	Intelligent Systems Group 6 11:00 - 12:00 Weeks 3,5,7,8 Room 051
11:00	Computational Game Theory Group 4 11:00 - 12:00 Weeks 3,4,6,8 Room 013 RHB	Machine Learning Group 3 11:00 - 12:00 Weeks 3,5,6,8 Room 114 RHB	Geometric Modelling Group 2 11:00 - 12:00 Weeks 2,4,6,8 Room 441	Intelligent Systems Group 3 11:00 - 12:00 Weeks 3,5,7,8 Room 051
11:00		Computational Game Theory Group 3 11:00 - 12:00 Weeks 3,4,6 Room 441	Databases Group 2 11:00 - 12:00 Weeks 4,5,7,8 Room 114 RHB
11:00		Computational Game Theory Group 3 11:00 - 12:00 Week 8 Tony Hoare RHB	Probabilistic Model Checking Group 2 11:00 - 12:00 Weeks 4,5,7,8 Room 051
11:00		Computational Game Theory Group 7 11:00 - 12:00 Weeks 4,6 Tony Hoare RHB
11:00		Computational Game Theory Group 7 11:00 - 12:00 Weeks 3,8 Room 105
12:00	Models of Computation 12:00 - 13:00 Weeks 1-8 LTA	Probabilistic Model Checking 12:00 - 13:00 Weeks 1-8 LTB	Computational Game Theory 12:00 - 13:00 Weeks 1-8 LTA	Physically Based Rendering 12:00 - 13:00 Weeks 1-8 Lecture Theatre A	Geometric Modelling 12:00 - 13:00 Weeks 1-8 LTA
12:00	Probabilistic Model Checking 12:00 - 13:00 Weeks 1-8 LTB	Geometric Modelling 12:00 - 13:00 Weeks 1-8 LTA		Automata, Logic and Games 12:00 - 13:00 Weeks 1-8 LTB	Automata, Logic and Games 12:00 - 13:00 Weeks 1,2,3,4,5,7,8 LTB
12:00					Automata, Logic and Games 12:00 - 13:00 Week 6 Tony Hoare Room, RHB
12:00			Computer-Aided Formal Verification Group 1 12:00 - 14:00 Weeks 6-7 Room 379		Computer-Aided Formal Verification Group 2 12:00 - 14:00 Weeks 6-7 Room 379
12:00		Databases Group 1 12:00 - 13:00 Weeks 4,5,7,8 Room 114 RHB	Computer-Aided Formal Verification Group 1 12:00 - 13:00 Weeks 3,4,5,8 Room 051		Computer-Aided Formal Verification Group 3 12:00 - 13:00 Weeks 3,4,5,8 Room 051
12:00			Functional Programming Group 2 12:00 - 13:00 Weeks 4,5,6,8 Room 013 RHB		Databases Group 3 12:00 - 13:00 Weeks 4,5,7,8 Room 114 RHB
12:00			Geometric Modelling Group 3 12:00 - 13:00 Weeks 2,4,6,8 Room 441		Machine Learning Group 8 12:00 - 13:00 Weeks 3,5,6,8 Room 013 RHB
13:00			Computer-Aided Formal Verification Group 2 13:00 - 14:00 Weeks 3,4,5,8 Room 051
14:00	Principles of Programming Languages 14:00 - 15:00 Weeks 1-8 LTA	Computer Security 14:00 - 15:00 Week 2 LTA	Geometric Modelling 14:00 - 15:00 Weeks 1-4 LTA	Computer-Aided Formal Verification 14:00 - 15:00 Weeks 1-8 LTA	Probabilistic Model Checking 14:00 - 15:00 Weeks 1-4 LTA
14:00	Probabilistic Model Checking 14:00 - 16:00 Weeks 3,4,6,8 379	Functional Programming Group 1 and 2 14:00 - 15:00 Week 1 Thom Lab	Functional Programming Group 2 14:00 - 16:00 Weeks 2-8 Thom Lab	Functional Programming Group 3 14:00 - 15:00 Week 1 Thom Lab	Machine Learning Group 3 14:00 - 16:00 Weeks 4,6,7,8 Thom Lab
14:00	Probabilistic Model Checking 14:00 - 16:00 Weeks 3,4,6,8 379	Functional Programming Group 1 14:00 - 16:00 Weeks 2-8 Thom Lab		Functional Programming Group 3 14:00 - 16:00 Weeks 2-8 Thom Lab
14:00	Concurrent Algorithms and Data Structures Group 1 14:00 - 16:00 Weeks 2,3,4,6,7,8 Thom Lab
14:00		Computer Security Group 1 14:00 - 15:00 Weeks 3,4,6,8 Room 441	Categories, Proofs and Processes Group 1 14:00 - 15:00 Weeks 2-8 Room 013 RHB	Compilers Group 1 14:00 - 15:00 Weeks 3,5,7,8 Room 051	Principles of Programming Languages 14:00 - 15:00 Weeks 3,5,7,8 Room 051
14:00		Machine Learning Group 7 14:00 - 15:00 Weeks 3,5,6,8 Room 105	Principles of Programming Languages Group 2 14:00 - 15:00 Weeks 3,5,7,8 Room 051	Concurrent Algorithms and Data Structures Group 2 14:00 - 15:00 Weeks 3,4,5,7,8 Room 013 RHB
14:00			Computer Security Group 3 14:00 - 15:00 Weeks 3,4,6,8 Room 441	Automata, Logic and Games Group 3 14:00 - 15:00 Weeks 2-7 Room 114 RHB
15:00	Intelligent Systems 15:00 - 16:00 Weeks 1-8 LTA	Computational Game Theory 15:00 - 16:00 Weeks 2-8 LTA	Principles of Programming Languages 15:00 - 16:00 Weeks 1-8 LTA	Intelligent Systems 15:00 - 16:00 Weeks 1-8 LTA	Computer Security 15:00 - 16:00 Weeks 1,2,3,5,7,8 LTA
15:00					Physically Based Rendering 15:00 - 16:00 Weeks 3-8 051
15:00		Computer Security Group 2 15:00 - 16:00 Weeks 3,4,6,8 Room 441	Categories, Proofs and Processes Group 2 15:00 - 16:00 Weeks 2-8 Room 051	Functional Programming Group 2 15:00 - 16:00 Week 2 Room 013 RHB
15:00		Machine Learning Group 4 15:00 - 16:00 Weeks 3,5,6,8 Room 051	Computer Security Group 4 15:00 - 16:00 Weeks 3,4,6,8 Room 441	Functional Programming Group 2 15:00 - 16:00 Week 7 Room 051
15:00				Concurrent Algorithms and Data Structures Group 3 15:00 - 16:00 Weeks 3,4,5,7,8 Room 013 RHB
15:00				Automata, Logic and Games Group 4 15:00 - 16:00 Weeks 2-7 Room 114 RHB
15:00				Computational Game Theory Group 8 15:00 - 16:00 Weeks 3,4,6,8 Room 051
16:00	Machine Learning 16:00 - 17:00 Weeks 1-8 LTA	Computational Game Theory 16:00 - 17:00 Weeks 2-4 LTA	Machine Learning 16:00 - 17:00 Weeks 1-8 LTA		Computer Security 16:00 - 17:00 Weeks 7-8 LTA
16:00					Categories, Proofs and Processes 16:00 - 17:00 Weeks 1,2,3,4,5 LTB
16:00	Concurrent Algorithms and Data Structures Group 2 16:00 - 18:00 Weeks 2,3,4,6,7,8 Thom Lab	Compilers Group 1 16:00 - 18:00 Weeks 2-8 Room 379	Computer Security Group 2 16:00 - 18:00 Weeks 2,3,4,6,7,8 Room 379	Intelligent Systems Group 2 16:00 - 18:00 Weeks 2-8 Thom Lab	Databases Group 2 16:00 - 18:00 Weeks 5-8 Thom Lab
16:00	Principles of Programming Languages Group 2 16:00 - 18:00 Weeks 3,4,6,8 Room 379			Compilers Group 2 16:00 - 18:00 Weeks 2-8 Room 379
16:00		Intelligent Systems Group 1 16:00 - 17:00 Weeks 3,5,7,8 Room 114 RHB	Functional Programming Group 1 16:00 - 17:00 Weeks 2,7 Room 013 RHB	Computer Security Group 5 16:00 - 17:00 Weeks 3,4,6,8 Room 051
16:00			Categories, Proofs and Processes Group 3 16:00 - 17:00 Weeks 2-8 Room 051
17:00	Foundations of Computer Science 17:00 - 18:00 Weeks 1-8 LTA	Computer Security 17:00 - 18:00 Weeks 2-8 LTA	Foundations of Computer Science 17:00 - 18:00 Weeks 1-8 LTA	Categories, Proofs and Processes 17:00 - 18:00 Weeks 1-8 LTB	Categories, Proofs and Processes 17:00 - 18:00 Weeks 1,2,3,4,6,7,8 LTB
17:00			Physically Based Rendering 17:00 - 18:00 Weeks 1-8 Lecture Theatre B
17:00	Machine Learning Group 2 17:00 - 18:00 Weeks 3,5,6,8 Room 051	Physically Based Rendering 17:00 - 18:00 Weeks 3,5,7,8 Room 441	Categories, Proofs and Processes Group 4 17:00 - 18:00 Weeks 2-8 Room 441	Foundations of Computer Science Group 2 17:00 - 18:00 Weeks 3-8 Room 051