Timetable MT2019

Lecture

Practical

Class

Timetable for Michaelmas Term 2019

	Monday	Tuesday	Wednesday	Thursday	Friday
9:00	Discrete Mathematics 9:00 - 10:00 Weeks 1-8 LTA	Linear Algebra 9:00 - 10:00 Weeks 1-8 LTA		Discrete Mathematics 9:00 - 10:00 Weeks 2-8 LTA	Principles of Programming Languages 9:00 - 10:00 Weeks 1-8 LTA
9:00	Foundations of Computer Science 9:00 - 10:00 Weeks 1-8 Tony Hoare RHB	Compilers 9:00 - 10:00 Weeks 1-8 LTB		Foundations of Computer Science 9:00 - 10:00 Weeks 1-8 Tony Hoare RHB
9:00				Compilers 9:00 - 10:00 Weeks 1-8 LTB
9:00	Principles of Programming Languages Group 1 9:00 - 11:00 Weeks 4,6,7,8 Room 379	Databases Group 1 9:00 - 11:00 Weeks 5-8 Thom Lab	Probabilistic Model Checking Group 1 9:00 - 11:00 Weeks 3,4,6,8 Room 379	Machine Learning Group 2 9:00 - 11:00 Weeks 4,6,7,8 Thom Lab	Law and Computer Science 9:00 - 11:00 Weeks 2,7,8 Pichette Lecture Theatre, Pembroke College
9:00	Concurrent Algorithms and Data Structures Group 2 9:00 - 11:00 Weeks 2,3,4,6,7,8 Thom Lab		Computer Graphics Group 2 9:00 - 11:00 Weeks 3,4,7,8 Thom Lab
9:00			Concurrent Algorithms and Data Structures Group 1 9:00 - 10:00 Weeks 3,4,5,7,8 Room 051
10:00	Linear Algebra 10:00 - 11:00 Weeks 2-8 LTA	Principles of Programming Languages 10:00 - 11:00 Weeks 1-8 LTA	Functional Programming 10:00 - 11:00 Weeks 3-8 LTA	Probabilistic Model Checking 10:00 - 11:00 Weeks 1-8 LTA	Linear Algebra 10:00 - 11:00 Weeks 1-4 LTA
10:00	Computer Security 10:00 - 11:00 Weeks 1,2,3,4,6 LTB		Functional Programming 10:00 - 11:00 Weeks 1-2 Natural History Museum	Discrete Mathematics 10:00 - 11:00 Week 1 Lecture Theatre B	Probabilistic Model Checking 10:00 - 11:00 Weeks 1-4 Tony Hoare RHB
10:00					Computer Graphics 10:00 - 12:00 Weeks 1-8 LTB
10:00		Computational Learning Theory Group 4 10:00 - 11:00 Weeks 3-7 Room 013 RHB	Categories, Proofs and Processes Group 1 10:00 - 11:00 Weeks 2-8 Room 114 RHB	Databases Group 1 10:00 - 11:00 Weeks 4,5,7,8 Room 013 RHB
10:00		Quantum Computer Science Group 5 10:00 - 11:00 Weeks 2-8 Room 051	Concurrent Algorithms and Data Structures Group 2 10:00 - 11:00 Weeks 3,4,5,7,8 Room 051	Databases Group 5 10:00 - 11:00 Weeks 4,5,7,8 Room 441
11:00	Databases 11:00 - 12:00 Weeks 1-8 LTA	Concurrent Algorithms and Data Structures 11:00 - 12:00 Weeks 1-7 LTA	Computer-Aided Formal Verification 11:00 - 12:00 Weeks 1,2,3,5,6,7,8 LTA	Concurrent Algorithms and Data Structures 11:00 - 12:00 Weeks 1-7 LTA	Concurrent Algorithms and Data Structures 11:00 - 12:00 Weeks 1-7 LTA
11:00	Physically Based Rendering 11:00 - 12:00 Weeks 2-8 LTB	Law and Computer Science 11:00 - 13:00 Weeks 1-8 The Law Board Room, Faculty of Law, St Cross road
11:00	Computer Security Group 1 11:00 - 13:00 Weeks 2,3,4,6,7,8 Thom Lab	Machine Learning Group 1 11:00 - 13:00 Weeks 4,6,7,8 Thom Lab	Concurrent Algorithms and Data Structures Group 1 11:00 - 13:00 Weeks 2,3,4,6,7,8 Thom Lab	Machine Learning Group 3 11:00 - 13:00 Weeks 4,6,7,8 Thom Lab
11:00		Computational Learning Theory Group 5 11:00 - 12:00 Weeks 3-7 Room 013 RHB	Principles of Programming Languages Group 1 11:00 - 12:00 Weeks 3,5,7,8 Room 051	Quantum Computer Science Group 1 11:00 - 12:00 Weeks 2-8 Tony Hoare RHB	Computer-Aided Formal Verification Group 1 11:00 - 12:00 Weeks 3,4,6,8 Room 013 RHB
11:00			Categories, Proofs and Processes Group 5 11:00 - 12:00 Weeks 2-8 Room 114 RHB	Foundations of Computer Science Group 1 11:00 - 12:00 Weeks 3-8 Room 114 RHB	Computer-Aided Formal Verification Group 4 11:00 - 12:00 Weeks 3,4,6,8 Tony Hoare RHB
11:00				Databases Group 2 11:00 - 12:00 Weeks 4,5,7,8 Room 013 RHB	Quantum Computer Science Group 4 11:00 - 12:00 Weeks 2-8 Room 051
11:00				Computational Learning Theory Group 3 11:00 - 12:00 Weeks 3-7 Room 051
12:00	Databases 12:00 - 13:00 Weeks 1-8 LTA	Automata, Logic and Games 12:00 - 13:00 Weeks 1-8 LTA	Probabilistic Model Checking 12:00 - 13:00 Weeks 1-8 LTA	Physically Based Rendering 12:00 - 13:00 Weeks 1-8 LTA	Models of Computation 12:00 - 13:00 Weeks 1-8 LTB
12:00	Linear Algebra 12:00 - 13:00 Week 1 Lecture Theatre B	Models of Computation 12:00 - 13:00 Weeks 1-8 LTB		Ethics and Responsible Innovation 12:00 - 13:00 Weeks 4-7 LTB	Functional Programming 12:00 - 13:00 Weeks 3-8 LTA
12:00					Functional Programming 12:00 - 13:00 Weeks 1-2 Natural History Museum
12:00			Computer Security Group 1 12:00 - 13:00 Weeks 4,6,7,8 Room 013 RHB	Computational Learning Theory Group 2 12:00 - 13:00 Weeks 3-7 Room 051	Automata, Logic and Games Group 1 12:00 - 13:00 Weeks 2-8 Room 114 RHB
12:00			Principles of Programming Languages Group 2 12:00 - 13:00 Weeks 3,5,7,8 Room 051	Foundations of Computer Science Group 2 12:00 - 13:00 Weeks 3-8 Room 114 RHB	Categories, Proofs and Processes Group 2 12:00 - 13:00 Weeks 2-8 Room 051
12:00			Databases Group 4 12:00 - 13:00 Weeks 4,5,7,8 Room 441	Databases Group 3 12:00 - 13:00 Weeks 4,5,7,8 Room 013 RHB	Computer-Aided Formal Verification Group 2 12:00 - 13:00 Weeks 3,4,6,8 Room 013 RHB
12:00					Foundations of Computer Science Group 3 12:00 - 13:00 Weeks 3-8 Room 441
14:00	Computer-Aided Formal Verification 14:00 - 15:00 Weeks 1-8 LTA	Categories, Proofs and Processes 14:00 - 15:00 Weeks 1-8 LTA	Quantum Computer Science 14:00 - 15:00 Weeks 1-8 LTA	Quantum Computer Science 14:00 - 15:00 Weeks 1-8 LTA	Machine Learning 14:00 - 15:00 Weeks 1-4 Lecture Theatre \| Oxford University Museum of Natural History
14:00		Functional Programming Group 1 14:00 - 15:00 Week 1 Thom Lab	Functional Programming Group 2 14:00 - 15:00 Week 1 Thom Lab	Functional Programming Group 3 14:00 - 15:00 Week 1 Thom Lab
14:00		Functional Programming Group 1 14:00 - 16:00 Weeks 2-8 Thom Lab	Functional Programming Group 2 14:00 - 16:00 Weeks 2-8 Thom Lab	Functional Programming Group 3 14:00 - 16:00 Weeks 2-8 Thom Lab
14:00	Machine Learning 14:00 - 15:00 Weeks 3,5,6,8 Room 051	Computer Graphics Group 3 14:00 - 15:00 Weeks 3,5,7,8 Room 051	Machine Learning 14:00 - 15:00 Weeks 3,5,6,8 Tony Hoare RHB	Machine Learning 14:00 - 15:00 Weeks 3,5,6,8 Room 051	Automata, Logic and Games Group 2 14:00 - 15:00 Weeks 2-8 Room 114 RHB
14:00	Machine Learning 14:00 - 15:00 Weeks 3,5,6,8 Room 114 RHB		Computer Security Group 2 14:00 - 15:00 Weeks 4,6,7,8 Room 051	Computer Graphics Group 1 14:00 - 15:00 Weeks 3,5,7,8 Tony Hoare RHB	Categories, Proofs and Processes Group 3 14:00 - 15:00 Weeks 2-8 Room 051
14:00			Concurrent Algorithms and Data Structures Group 3 14:00 - 15:00 Weeks 3,4,5,7,8 Room 441
15:00	Computer Security 15:00 - 16:00 Weeks 5,7,8 LTB	Machine Learning 15:00 - 16:00 Weeks 1-8 Lecture Theatre \| Oxford University Museum of Natural History	Quantum Computer Science 15:00 - 16:00 Weeks 1-8 LTA	Machine Learning 15:00 - 16:00 Weeks 1-8 Lecture Theatre \| Oxford University Museum of Natural History	Categories, Proofs and Processes 15:00 - 16:00 Weeks 1-8 LTA
15:00	Computer Security 15:00 - 16:00 Weeks 1-4 LTA
15:00	Computer Graphics Group 1 15:00 - 17:00 Weeks 3,4,8 Thom Lab		Principles of Programming Languages Group 2 15:00 - 17:00 Weeks 4,6,7,8 Room 379
15:00	Computer Graphics Group 1 15:00 - 17:00 Week 7 Room 379
15:00			Machine Learning 15:00 - 16:00 Weeks 3,5,6,8 Room 114 RHB	Quantum Computer Science Group 2 15:00 - 16:00 Weeks 2-8 Room 051	Computer Security Group 4 15:00 - 16:00 Weeks 4-8 Room 013 RHB
15:00			Computer Security Group 3 15:00 - 16:00 Weeks 4,6,7,8 Room 051	Computer Graphics Group 2 15:00 - 16:00 Weeks 3,5,7,8 Tony Hoare RHB
15:00				Automata, Logic and Games Group 3 15:00 - 16:00 Weeks 2-8 Room 013 RHB
16:00	Computational Learning Theory 16:00 - 17:00 Weeks 1-8 LTA	Computational Learning Theory 16:00 - 17:00 Weeks 1-8 LTA	Categories, Proofs and Processes 16:00 - 17:00 Weeks 1-4 LTA	Computational Learning Theory 16:00 - 17:00 Weeks 1-8 LTA	Automata, Logic and Games 16:00 - 17:00 Weeks 1-8 LTA
16:00		Physically Based Rendering Group 1 16:00 - 18:00 Weeks 2,4,6,7,8 Room 379	Computer Security Group 2 16:00 - 18:00 Weeks 2,3,4,6,7,8 Thom Lab	Compilers Group 2 16:00 - 18:00 Weeks 4-8 Thom Lab	Databases Group 2 16:00 - 18:00 Weeks 5-8 Thom Lab
16:00		Compilers Group 1 16:00 - 18:00 Weeks 4-8 Thom Lab
16:00	Machine Learning 16:00 - 17:00 Weeks 3,5,6,8 Room 051		Machine Learning 16:00 - 17:00 Weeks 3,5,6,8 Room 114 RHB	Quantum Computer Science Group 3 16:00 - 17:00 Weeks 2-8 Room 051	Machine Learning 16:00 - 17:00 Weeks 3,5,6,8 Room 051
16:00			Probabilistic Model Checking Group 1 16:00 - 17:00 Weeks 4,5,7,8 Room 051	Physically Based Rendering Group 1 16:00 - 18:00 Weeks 6,8 Room 013 RHB	Computer-Aided Formal Verification Group 3 16:00 - 17:00 Weeks 3,4,6,8 Room 013 RHB
17:00	Computer-Aided Formal Verification 17:00 - 18:00 Week 2 LTA	Computer Security 17:00 - 18:00 Weeks 5-8 LTB			Automata, Logic and Games 17:00 - 18:00 Weeks 1-8 LTA
17:00	Computational Learning Theory Group 1 17:00 - 18:00 Weeks 3-7 Room 051	Categories, Proofs and Processes Group 4 17:00 - 18:00 Weeks 2-8 Room 051	Machine Learning 17:00 - 18:00 Weeks 3,5,6,8 Room 114 RHB	Principles of Programming Languages Group 3 17:00 - 18:00 Weeks 3,5,7,8 Room 051	Machine Learning 17:00 - 18:00 Weeks 3,5,6,8 Room 051
17:00			Probabilistic Model Checking Group 2 17:00 - 18:00 Weeks 4,5,7,8 Room 051