Timetable MT2024

Lecture

Practical

Class

Timetable for Michaelmas Term 2024

	Monday	Tuesday	Wednesday	Thursday	Friday
9:00	Logic and Proof 9:00 - 10:00 Weeks 1-8 LTA	Logic and Proof 9:00 - 10:00 Weeks 1-8 LTA	Distributed Processes, Types and Programming 9:00 - 11:00 Weeks 1-6 Tony Hoare Room (RHB)	Computational Biology 9:00 - 10:00 Weeks 1-8 Tony Hoare Room (RHB)	Computational Biology 9:00 - 10:00 Weeks 1-4 Tony Hoare Room (RHB)
9:00	Distributed Processes, Types and Programming 9:00 - 11:00 Weeks 1-6 Tony Hoare Room (RHB)	Computational Biology 9:00 - 10:00 Weeks 1-8 Tony Hoare Room (RHB)		Scientific Computing 9:00 - 10:00 Weeks 1-8 The Bill Roscoe Lecture Theatre	Compilers 9:00 - 10:00 Weeks 1-8 LTA
9:00		Scientific Computing 9:00 - 10:00 Weeks 1-8 The Bill Roscoe Lecture Theatre
9:00		Compilers Group 2 9:00 - 11:00 Weeks 4-8 60.05 (Thom Lab)	Concurrency Group 1 9:00 - 11:00 Weeks 3,5,7,8 379	Law and Computer Science 9:00 - 11:00 Week 2 Harold Lee Room, Pembroke College	Distributed Processes, Types and Programming 9:00 - 11:00 Week 5 379
9:00			Machine Learning Group 2 9:00 - 11:00 Weeks 4,6,7,8 60.05 (Thom Lab)	Law and Computer Science 9:00 - 11:00 Week 6 Harold Lee Room, Pembroke College	Computer Graphics Group 1 9:00 - 11:00 Weeks 3,4,6,7 379
9:00				Law and Computer Science 9:00 - 11:00 Week 8 Harold Lee Room, Pembroke College
9:00				Artificial Intelligence Group 1 9:00 - 11:00 Weeks 4,5,6,8 60.05 (Thom Lab)
9:00				Law and Computer Science 9:00 - 11:00 Week 7 Pembroke College
10:00	Linear Algebra 10:00 - 11:00 Weeks 1-8 LTA	Data Visualisation 10:00 - 11:00 Weeks 1-8 The Bill Roscoe Lecture Theatre	Linear Algebra 10:00 - 11:00 Weeks 1-8 LTA	Data Visualisation 10:00 - 11:00 Weeks 1-8 The Bill Roscoe Lecture Theatre	Linear Algebra 10:00 - 11:00 Weeks 1-4 LTA
10:00	Combinatorial Optimisation 10:00 - 11:00 Weeks 5-8 051	Discrete Mathematics 10:00 - 11:00 Weeks 1-8 LTA	Combinatorial Optimisation 10:00 - 11:00 Weeks 5-8 051	Discrete Mathematics 10:00 - 11:00 Weeks 1-8 LTA	Geometric Modelling 10:00 - 11:00 Weeks 1-2 The Bill Roscoe Lecture Theatre
10:00	Geometric Modelling 10:00 - 11:00 Weeks 1-7 The Bill Roscoe Lecture Theatre		Geometric Modelling 10:00 - 11:00 Weeks 1-7 The Bill Roscoe Lecture Theatre	Probabilistic Model Checking 10:00 - 11:00 Weeks 6-8 Tony Hoare Room (RHB)
10:00	Combinatorial Optimisation 10:00 - 12:00 Weeks 1-4 051		Combinatorial Optimisation 10:00 - 12:00 Weeks 1-4 051	Probabilistic Model Checking 10:00 - 12:00 Weeks 1,2,3,5 Tony Hoare Room (RHB)
10:00	Computer Security Group 1 10:00 - 11:00 Weeks 4,5,7,8 Strachey Room	Probabilistic Model Checking Group 1 10:00 - 11:00 Weeks 4,5,7,8 Strachey Room, RHB	Scientific Computing Group 1 10:00 - 11:00 Weeks 4,6,7,8 Strachey Room	Computational Learning Theory Group 1 10:00 - 11:00 Weeks 3-8 051	Concurrency Group 1 10:00 - 11:00 Weeks 3,5,7,8 114, RHB
10:00		Artificial Intelligence Group 2 10:00 - 11:00 Weeks 3,5,7,8 114, RHB	Scientific Computing Group 1 10:00 - 11:00 Week 5 114, RHB	Machine Learning Group 4 10:00 - 11:00 Weeks 3,5,7,8 Strachey Room, RHB	Combinatorial Optimisation Group 2 10:00 - 11:00 Weeks 3-8 Strachey Room
10:00		Bayesian Statistical Probabilistic Programming Group 3 10:00 - 11:00 Weeks 3,5,7,8 051	Computational Game Theory Group 2 10:00 - 11:00 Weeks 3,4,6,8 114, RHB		Quantum Processes and Computation Group 2 10:00 - 11:00 Weeks 3-8 051
10:00		Computational Game Theory Group 4 10:00 - 11:00 Weeks 4,5,6,8 Tony Hoare Room (RHB)
11:00	Concurrent Algorithms and Data Structures 11:00 - 12:00 Weeks 1-7 LTA	Computer Graphics 11:00 - 12:00 Weeks 1-8 The Bill Roscoe Lecture Theatre	Concurrent Algorithms and Data Structures 11:00 - 12:00 Weeks 1-7 LTA	Computer Graphics 11:00 - 12:00 Weeks 1-8 The Bill Roscoe Lecture Theatre	Concurrent Algorithms and Data Structures 11:00 - 12:00 Weeks 1-6 LTA
11:00	Computer Security 11:00 - 12:00 Weeks 1,2,3,4,5,7 The Bill Roscoe Lecture Theatre	Functional Programming 11:00 - 12:00 Weeks 1-8 LTA	Computer Security 11:00 - 12:00 Weeks 1,2,3,4,5,7 The Bill Roscoe Lecture Theatre	Functional Programming 11:00 - 12:00 Weeks 1-8 LTA	Computer Security 11:00 - 12:00 Weeks 1-4 The Bill Roscoe Lecture Theatre
11:00		Law and Computer Science 11:00 - 13:00 Weeks 1-8 Tony Hoare Room (RHB)
11:00		Law and Computer Science 11:00 - 13:00 Week 1 Strachey Room (RHB)
11:00	Machine Learning Group 1 11:00 - 13:00 Weeks 4,6,7,8 60.05 (Thom Lab)	Graph Representation Learning Group 1 11:00 - 13:00 Weeks 3-7 379	Graph Representation Learning Group 2 11:00 - 13:00 Weeks 3-7 379	Artificial Intelligence Group 2 11:00 - 13:00 Weeks 4,5,6,8 60.05 (Thom Lab)	Geometric Modelling Group 2 11:00 - 13:00 Weeks 2,4,6,8 379
11:00				Graph Representation Learning Group 3 11:00 - 13:00 Weeks 3-7 379	Machine Learning Group 4 11:00 - 13:00 Weeks 4,6,7,8 60.05 (Thom Lab)
11:00	Artificial Intelligence Group 1 11:00 - 12:00 Weeks 3,5,7,8 Strachey Room	Artificial Intelligence Group 3 11:00 - 12:00 Weeks 3,5,7,8 114, RHB	Scientific Computing Group 2 11:00 - 12:00 Weeks 4,6,7,8 Strachey Room	Computational Biology Group 1 11:00 - 12:00 Weeks 2,4,6,8 Strachey Room	Concurrency Group 2 11:00 - 12:00 Weeks 3,5,7,8 114, RHB
11:00			Computer-Aided Formal Verification Group 2 11:00 - 12:00 Weeks 3,4,6,8 114, RHB	Concurrent Algorithms and Data Structures Group 2 11:00 - 12:00 Weeks 3,5,7,8 051	Quantum Processes and Computation Group 3 11:00 - 12:00 Weeks 3-8 051
11:00			Scientific Computing Group 2 11:00 - 12:00 Week 5 114, RHB	Computational Learning Theory Group 2 11:00 - 12:00 Weeks 3-8 114, RHB
11:00				Machine Learning Group 5 11:00 - 12:00 Weeks 3,5,7 Strachey Room (RHB)
11:00				Machine Learning Group 5 11:00 - 12:00 Week 8 Tony Hoare Room (RHB)
12:00	Bayesian Statistical Probabilistic Programming 12:00 - 13:00 Week 8 Tony Hoare Room (RHB)	Concurrency 12:00 - 13:00 Weeks 1-8 The Bill Roscoe Lecture Theatre	Models of Computation 12:00 - 13:00 Weeks 1-8 LTA	Compilers 12:00 - 13:00 Weeks 1-8 LTA	Models of Computation 12:00 - 13:00 Weeks 1-8 LTA
12:00	Concurrency 12:00 - 13:00 Weeks 1-8 The Bill Roscoe Lecture Theatre			Computer-Aided Formal Verification 12:00 - 13:00 Weeks 1-8 The Bill Roscoe Lecture Theatre	Computer-Aided Formal Verification 12:00 - 13:00 Weeks 1-8 The Bill Roscoe Lecture Theatre
12:00	Bayesian Statistical Probabilistic Programming 12:00 - 14:00 Weeks 1,2,3,5,6,7 Tony Hoare Room (RHB)			Bayesian Statistical Probabilistic Programming 12:00 - 13:00 Weeks 1,2,3,5,6,7,8 Tony Hoare Room (RHB)
12:00	Computer Security Group 2 12:00 - 13:00 Weeks 4,5,7,8 Strachey Room	Computational Game Theory Group 1 12:00 - 13:00 Weeks 3,4,6,8 051	Combinatorial Optimisation Group 1 12:00 - 13:00 Weeks 3-8 Strachey Room	Probabilistic Model Checking Group 2 12:00 - 13:00 Weeks 4,5,7,8 Strachey Room	Computational Game Theory Group 3 12:00 - 13:00 Weeks 3,4,6,8 114, RHB
12:00		Machine Learning Group 1 12:00 - 13:00 Weeks 3,5,7,8 114, RHB	Distributed Processes, Types and Programming Group 1 12:00 - 13:00 Weeks 2-8 051	Computational Learning Theory Group 3 12:00 - 13:00 Weeks 3-8 114, RHB	Quantum Processes and Computation Group 4 12:00 - 13:00 Weeks 3-8 051
12:00			Computer-Aided Formal Verification Group 3 12:00 - 13:00 Weeks 3,4,6,8 114, RHB
13:00	Compilers Group 1 13:00 - 15:00 Weeks 4-8 60.05 (Thom Lab)	Functional Programming Group 1 13:00 - 15:00 Weeks 1-8 60.05 (Thom Lab)	Functional Programming Group 2 13:00 - 15:00 Weeks 1-8 60.05 (Thom Lab)	Functional Programming Group 3 13:00 - 15:00 Weeks 1-8 60.05 (Thom Lab)	Concurrency Group 2 13:00 - 15:00 Weeks 3,5,7,8 379
13:00	Computer Graphics Group 2 13:00 - 15:00 Weeks 4,5,7,8 379	Concurrent Algorithms and Data Structures Group 1 13:00 - 15:00 Weeks 3-8 379		Graph Representation Learning Group 4 13:00 - 15:00 Weeks 3-7 379	Functional Programming Group 4 13:00 - 15:00 Weeks 1-8 60.05 (Thom Lab)
13:00				Data Visualisation Group 3 13:00 - 14:00 Weeks 3-7 051	Computational Biology Group 3 13:00 - 14:00 Weeks 2,4,6,8 Tony Hoare Room (RHB)
14:00		Probabilistic Model Checking 14:00 - 15:00 Weeks 2-8 Tony Hoare Room (RHB)	Graph Representation Learning 14:00 - 16:00 Weeks 1,3,4,5,6,7,8 LTA	Machine Learning 14:00 - 15:00 Weeks 1-4 The Bill Roscoe Lecture Theatre	Artificial Intelligence 14:00 - 15:00 Weeks 7-8 The Bill Roscoe Lecture Theatre
14:00		Machine Learning 14:00 - 16:00 Weeks 1-8 The Bill Roscoe Lecture Theatre		Computational Game Theory 14:00 - 16:00 Weeks 1-4 LTA	Probabilistic Model Checking 14:00 - 15:00 Week 1 The Bill Roscoe Lecture Theatre
14:00	Computer-Aided Formal Verification Group 1 14:00 - 15:00 Weeks 3,4,6,8 Strachey Room		Machine Learning Group 3 14:00 - 15:00 Weeks 3,5,7,8 Strachey Room, RHB	Computational Biology Group 2 14:00 - 15:00 Weeks 2,4,6,8 Tony Hoare Room (RHB)	Machine Learning Group 6 14:00 - 15:00 Weeks 3,5,7,8 Strachey Room, RHB
15:00	Graph Representation Learning 15:00 - 16:00 Weeks 1-5 LTA	Probabilistic Model Checking 15:00 - 16:00 Week 4 Tony Hoare Room (RHB)	Artificial Intelligence 15:00 - 16:00 Weeks 1-6 The Bill Roscoe Lecture Theatre	Computational Game Theory 15:00 - 16:00 Weeks 5-8 LTA	Artificial Intelligence 15:00 - 16:00 Weeks 1-8 The Bill Roscoe Lecture Theatre
15:00					Computational Game Theory 15:00 - 16:00 Weeks 1-8 LTA
15:00	Concurrent Algorithms and Data Structures Group 2 15:00 - 17:00 Weeks 3-8 379	Geometric Modelling Group 1 15:00 - 17:00 Weeks 2,4,6,8 379	Probabilistic Model Checking Group 1 15:00 - 17:00 Weeks 4,5,7,8 379	Probabilistic Model Checking Group 2 15:00 - 17:00 Weeks 4,5,7,8 379
15:00			Machine Learning Group 3 15:00 - 17:00 Weeks 4,6,7,8 60.05 (Thom Lab)
15:00	Computer Graphics Group 1 15:00 - 16:00 Weeks 4,5,7,8 051	Logic and Proof Group 1 15:00 - 16:00 Weeks 4,5,7,8 114, RHB	Concurrent Algorithms and Data Structures Group 1 15:00 - 16:00 Weeks 3,5,7,8 Tony Hoare Room (RHB)	Data Visualisation Group 1 15:00 - 16:00 Weeks 3-7 Strachey Room	Machine Learning Group 7 15:00 - 16:00 Weeks 3,5,7,8 Strachey Room, RHB
15:00		Artificial Intelligence Group 4 15:00 - 16:00 Weeks 3,5,7,8 Strachey Room	Distributed Processes, Types and Programming Group 2 15:00 - 16:00 Weeks 2-8 051	Geometric Modelling Group 1 15:00 - 16:00 Weeks 2,4,6,8 051
15:00		Computational Game Theory Group 5 15:00 - 16:00 Weeks 4,5,6,8 051
16:00	Computational Learning Theory 16:00 - 17:30 Weeks 1-8 LTA	Computational Learning Theory 16:00 - 17:30 Weeks 1-8 LTA	Quantum Processes and Computation 16:00 - 17:30 Weeks 1-8 LTA	Computational Learning Theory 16:00 - 17:30 Weeks 1-8 LTA	Quantum Processes and Computation 16:00 - 17:30 Weeks 1-8 LTA
16:00	Computer Graphics Group 2 16:00 - 17:00 Weeks 4,5,7,8 051	Logic and Proof Group 2 16:00 - 17:00 Weeks 4,5,7,8 114, RHB	Bayesian Statistical Probabilistic Programming Group 1 16:00 - 17:00 Weeks 3,5,7,8 Strachey Room	Quantum Processes and Computation Group 1 16:00 - 17:00 Weeks 3-8 114, RHB
16:00		Machine Learning Group 2 16:00 - 17:00 Weeks 3,5,7,8 Strachey Room, RHB	Distributed Processes, Types and Programming Group 3 16:00 - 17:00 Weeks 2-8 051	Data Visualisation Group 2 16:00 - 17:00 Weeks 3-7 Strachey Room
16:00				Geometric Modelling Group 2 16:00 - 17:00 Weeks 2,4,6,8 051
17:00			Bayesian Statistical Probabilistic Programming Group 2 17:00 - 18:00 Weeks 3,5,7,8 Strachey Room