Timetable MT2022

Lecture

Practical

Class

Timetable for Michaelmas Term 2022

	Monday	Tuesday	Wednesday	Thursday	Friday
9:00	Probability and Computing 9:00 - 10:00 Weeks 1-7 LTA	Computational Biology 9:00 - 10:00 Weeks 1-8 Tony Hoare RHB	Probability and Computing 9:00 - 10:00 Weeks 1-7 LTA		Probability and Computing 9:00 - 10:00 Weeks 1-6 LTA
9:00			Computational Biology 9:00 - 10:00 Weeks 1-4 Tony Hoare RHB		Computational Biology 9:00 - 10:00 Weeks 1-8 Tony Hoare RHB
9:00					Computer Security 9:00 - 10:00 Weeks 1,2,3,5 LTB
9:00	Machine Learning Group 1 9:00 - 11:00 Weeks 4,6,7,8 Thom Lab	Functional Programming Group 1 9:00 - 11:00 Weeks 2-8 Thom Lab	Machine Learning Group 2 9:00 - 11:00 Weeks 4,6,7,8 Thom Lab	Law and Computer Science 9:00 - 11:00 Weeks 1,6,7,8 Law Faculty	Concurrent Algorithms and Data Structures Group 2 9:00 - 11:00 Weeks 2,3,4,6,7,8 Thom Lab
9:00				Probabilistic Model Checking Group 2 9:00 - 11:00 Weeks 4,5,7,8 Thom Lab	Databases Group 2 9:00 - 11:00 Weeks 5-8 Room 379
9:00				Machine Learning Group 3 9:00 - 11:00 Weeks 4,6,7,8 Thom Lab
9:00				Law and Computer Science 9:30 - 11:30 Week 4 Law Faculty
10:00	Linear Algebra 10:00 - 11:00 Weeks 1-8 LTB	Concurrent Algorithms and Data Structures 10:00 - 11:00 Weeks 1-7 LTB	Linear Algebra 10:00 - 11:00 Weeks 1-8 LTB	Computer Security 10:00 - 11:00 Weeks 1,2,3,5,6,7 LTA	Linear Algebra 10:00 - 11:00 Weeks 1-4 LTB
10:00	Combinatorial Optimisation 10:00 - 11:00 Weeks 1-7 LTA	Computer Security 10:00 - 11:00 Weeks 1,2,3,5,6,7 LTA	Combinatorial Optimisation 10:00 - 11:00 Weeks 1-7 LTA		Combinatorial Optimisation 10:00 - 11:00 Weeks 1-2 LTA
10:00	Compilers Group 1 10:00 - 12:00 Weeks 4-8 Room 379	Geometric Modelling Group 2 10:00 - 12:00 Weeks 2,4,6,8 Room 379
10:00	Databases Group 1 10:00 - 11:00 Weeks 4,5,6,8 RHB Strachey	Principles of Programming Languages Group 1 10:00 - 11:00 Weeks 3,5,7,8 Room 051	Concurrent Algorithms and Data Structures Group 1 10:00 - 11:00 Weeks 3,5,7,8 Room 051		Machine Learning Group 8 10:00 - 11:00 Weeks 3,5,7,8 RHB Strachey Room
10:00			Computer Security Group 1 10:00 - 11:00 Weeks 4,5,7,8 RHB Strachey
11:00	Advanced Complexity Theory 11:00 - 12:00 Weeks 1-8 Tony Hoare RHB	Compilers 11:00 - 12:00 Weeks 1-8 LTA	Advanced Complexity Theory 11:00 - 12:00 Weeks 1-8 Tony Hoare RHB	Compilers 11:00 - 12:00 Weeks 1-8 LTA	Advanced Complexity Theory 11:00 - 12:00 Weeks 1-4 Tony Hoare RHB
11:00	Geometric Modelling 11:00 - 12:00 Weeks 1-8 LTA	Discrete Mathematics 11:00 - 12:00 Weeks 1,2,4,5,6,7,8 LTB	Geometric Modelling 11:00 - 12:00 Weeks 1-8 LTA	Discrete Mathematics 11:00 - 12:00 Weeks 1,2,4,5,6,7,8 LTB	Ethics and Responsible Innovation 11:00 - 12:00 Weeks 5-8 LTB
11:00	Functional Programming 11:00 - 12:00 Weeks 1-8 LTB	Law and Computer Science 11:00 - 13:00 Weeks 1-8 Law Faculty	Functional Programming 11:00 - 12:00 Weeks 1-8 LTB
11:00					Compilers Group 2 11:00 - 13:00 Weeks 4-8 Room 379
11:00					Principles of Programming Languages Group 2 11:00 - 13:00 Weeks 4,6,7,8 Thom Lab
11:00	Computer-Aided Formal Verification Group 1 11:00 - 12:00 Weeks 3,4,6,8 Room 051	Machine Learning Group 5 11:00 - 12:00 Weeks 3,5,7,8 Room 051	Concurrent Algorithms and Data Structures Group 2 11:00 - 12:00 Weeks 3,5,7,8 Room 051	Probability and Computing Group 1 11:00 - 12:00 Weeks 3-8 Room 051	Quantum Processes and Computation Group 1 11:00 - 12:00 Weeks 3-8 Room 051
11:00	Databases Group 2 11:00 - 12:00 Weeks 4,5,6,8 RHB Strachey		Computer Security Group 2 11:00 - 12:00 Weeks 4,5,7,8 RHB Strachey	Advanced Complexity Theory Group 1 11:00 - 12:00 Weeks 3-8 RHB Strachey Room	Machine Learning Group 9 11:00 - 12:00 Weeks 3,5,7,8 RHB Strachey Room
11:00	Combinatorial Optimisation Group 3 11:00 - 12:00 Weeks 5-8 Room 441
12:00	Quantum Processes and Computation 12:00 - 13:00 Weeks 1-8 Tony Hoare RHB	Computer-Aided Formal Verification 12:00 - 13:00 Weeks 1-8 LTA	Quantum Processes and Computation 12:00 - 13:00 Weeks 1-8 Tony Hoare RHB	Discrete Mathematics 12:00 - 13:00 Weeks 1-2 LTB	Quantum Processes and Computation 12:00 - 13:00 Weeks 1-8 Tony Hoare RHB
12:00	Models of Computation 12:00 - 13:00 Weeks 1-8 LTA		Models of Computation 12:00 - 13:00 Weeks 1-8 LTA	Computer-Aided Formal Verification 12:00 - 13:00 Weeks 1-8 LTA
12:00	Computer-Aided Formal Verification Group 2 12:00 - 13:00 Weeks 3,4,6,8 Room 051	Principles of Programming Languages Group 2 12:00 - 13:00 Weeks 3,5,7,8 Room 051	Machine Learning Group 1 12:00 - 13:00 Weeks 3,5,7,8 RHB Strachey Room	Advanced Complexity Theory Group 2 12:00 - 13:00 Weeks 3-8 RHB Strachey Room	Computational Biology Group 1 12:00 - 13:00 Weeks 2,4,6,8 Room 051
13:00	Probabilistic Model Checking Group1 13:00 - 15:00 Weeks 4,5,7,8 Thom Lab
13:00			Probability and Computing Office Hours 13:00 - 14:00 Weeks 4-8 Room 051		Probability and Computing Group 3 13:00 - 14:00 Weeks 3-8 Room 051
14:00	Graph Representation Learning 14:00 - 15:00 Weeks 1-8 LTB	Probabilistic Model Checking 14:00 - 15:00 Weeks 1-8 Tony Hoare RHB	Graph Representation Learning 14:00 - 15:00 Weeks 1-2 LTB	Principles of Programming Languages 14:00 - 15:00 Weeks 1-8 LTA	Principles of Programming Languages 14:00 - 15:00 Weeks 1-8 LTA
14:00				Probabilistic Model Checking 14:00 - 15:00 Weeks 1-8 Tony Hoare RHB	Concurrent Algorithms and Data Structures 14:00 - 15:00 Weeks 1-6 LTB
14:00	Geometric Modelling Group 1 14:00 - 16:00 Weeks 2,4,6,8 Room 379	Concurrent Algorithms and Data Structures Group1 14:00 - 16:00 Weeks 2,3,4,6,7,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	Functional Programming Group 4 14:00 - 16:00 Weeks 2-8 Thom Lab
14:00	Machine Learning Group 3 14:00 - 15:00 Weeks 3,5,7,8 Room 051		Probabilistic Model Checking Group 1 14:00 - 15:00 Weeks 4,6,7,8 Room 051		Quantum Processes and Computation Group 2 14:00 - 15:00 Weeks 3-8 Room 051
14:00			Principles of Programming Languages Group 3 14:00 - 15:00 Weeks 3,5,7,8 LTA		Computational Learning Theory Group 2 14:00 - 15:00 Weeks 3-8 RHB Strachey Room
14:00			Machine Learning Group 6 14:00 - 15:00 Weeks 3,5,7,8 Tony Hoare RHB		Probability and Computing Group 4 14:00 - 15:00 Weeks 3-8 Tony Hoare RHB
15:00	Graph Representation Learning 15:00 - 16:00 Weeks 1-8 LTB	Bayesian Statistical Probabilistic Programming 15:00 - 16:00 Weeks 1-8 Tony Hoare RHB	Concurrent Algorithms and Data Structures 15:00 - 16:00 Weeks 1-7 LTB	Probabilistic Model Checking 15:00 - 16:00 Weeks 1-4 Tony Hoare RHB	Bayesian Statistical Probabilistic Programming 15:00 - 16:00 Weeks 1-8 Tony Hoare RHB
15:00			Databases 15:00 - 16:00 Weeks 1,3,4,5,6,7,8 LTA	Databases 15:00 - 16:00 Week 2 LTA	Databases 15:00 - 16:00 Weeks 1-8 LTA
15:00				Databases Group 1 15:00 - 17:00 Weeks 5-8 Room 379
15:00	Combinatorial Optimisation Group 3 15:00 - 16:00 Weeks 5-6 Room 441		Computational Learning Theory Group 1 15:00 - 16:00 Weeks 3-8 RHB Strachey Room	Probability and Computing Group 2 15:00 - 16:00 Weeks 3-8 Room 051	Computational Biology Group 2 15:00 - 16:00 Weeks 2,4,6,8 Room 051
15:00			Probabilistic Model Checking Group 2 15:00 - 16:00 Weeks 4,6,7,8 Room 051		Computational Learning Theory Group 3 15:00 - 16:00 Weeks 3-8 RHB Strachey Room
15:00			Machine Learning Group 7 15:00 - 16:00 Weeks 3,5,7,8 Tony Hoare RHB		Computer Security Group 3 15:00 - 16:00 Weeks 3,5,7,8 LTB
16:00	Machine Learning 16:00 - 17:00 Weeks 1-8 LTB	Computational Learning Theory 16:00 - 17:00 Weeks 1-8 LTA		Machine Learning 16:00 - 17:00 Weeks 1-8 LTB
16:00	Computational Learning Theory 16:00 - 17:00 Weeks 1-8 LTA			Computational Learning Theory 16:00 - 17:00 Weeks 1-8 LTA
16:00	Principles of Programming Languages Group 1 16:00 - 18:00 Weeks 4,6,7,8 Thom Lab		Graph Representation Learning Group 1 16:00 - 18:00 Weeks 3-8 Thom Lab	Graph Representation Learning Group 2 16:00 - 18:00 Weeks 3-8 Thom Lab	Machine Learning Group 4 16:00 - 18:00 Weeks 4,6,7,8 Thom Lab
16:00	Combinatorial Optimisation Group 1 16:00 - 17:00 Weeks 3-8 RHB Strachey	Quantum Processes and Computation Group 3 16:00 - 17:00 Weeks 3-8 RHB Strachey Room	Bayesian Statistical Probabilistic Programming Group 1 16:00 - 17:00 Weeks 3-8 Room 051	Geometric Modelling Group 1 16:00 - 17:00 Weeks 2,4,6,8 RHB Strachey Room	Geometric Modelling Group 2 16:00 - 17:00 Weeks 2,4,6,8 RHB Strachey Room
16:00		Databases Group 3 16:00 - 17:00 Weeks 4,5,6,8 Room 051			Computer-Aided Formal Verification Group 3 16:00 - 17:00 Weeks 3,4,6,8 Room 051
17:00	Machine Learning 17:00 - 18:00 Weeks 1-4 LTB
17:00	Combinatorial Optimisation Group 2 17:00 - 18:00 Weeks 3-8 RHB Strachey	Quantum Processes and Computation Group 4 17:00 - 18:00 Weeks 3-8 RHB Strachey Room		Bayesian Statistical Probabilistic Programming Group 2 17:00 - 18:00 Weeks 3-8 Tony Hoare RHB