Timetable MT2026

Lecture

Practical

Class

Timetable for Michaelmas Term 2026

	Monday	Tuesday	Wednesday	Thursday	Friday
9:00	Distributed Processes, Types and Programming 9:00 - 11:00 Weeks 1-6 Tony Hoare RHB	Computational Biology 9:00 - 10:00 Weeks 1-8 Tony Hoare RHB	Distributed Processes, Types and Programming 9:00 - 11:00 Weeks 1-6 Tony Hoare RHB	Computational Biology 9:00 - 10:00 Weeks 1-8 Tony Hoare RHB	Computational Biology 9:00 - 10:00 Weeks 1-4 Tony Hoare RHB
9:00		Scientific Computing 9:00 - 10:00 Weeks 1-8 LTA	Computational Game Theory 9:00 - 11:00 Weeks 1-8 LTA	Scientific Computing 9:00 - 10:00 Weeks 1-8 LTA
9:00	Machine Learning Group 1 9:00 - 11:00 Weeks 4,6,7,8 T60.05	Principles of Programming Languages Group 1 9:00 - 11:00 Weeks 4,6,7,8 379		Law and Computer Science 9:00 - 11:00 Weeks 2,4,6,8 Pembroke College	Databases Group 2 9:00 - 11:00 Weeks 5-8 379
10:00	Functional Programming 10:00 - 11:00 Weeks 1-8 LTA	Databases 10:00 - 11:00 Weeks 1-8 The Bill Roscoe Lecture Theatre		Functional Programming 10:00 - 11:00 Weeks 1-8 LTA	Discrete Mathematics 10:00 - 11:00 Weeks 1-8 LTA
10:00		Discrete Mathematics 10:00 - 11:00 Weeks 1-8 LTA		Databases 10:00 - 11:00 Weeks 1-8 The Bill Roscoe Lecture Theatre
10:00	Databases Group 1 10:00 - 11:00 Weeks 4,5,6,8 051	Computational Game Theory Group 1 10:00 - 11:00 Weeks 3-8 051	Categories, Proofs and Processes Group 1 10:00 - 11:00 Weeks 3-8 Strachey Room, RHB	Computer-Aided Formal Verification Group 1 10:00 - 11:00 Weeks 3-8 Strachey Room, RHB	Combinatorial Optimisation Group 1 10:00 - 11:00 Weeks 3-8 051
10:00	Computer Vision Group 2 10:00 - 11:00 Weeks 3,4,6,7 Strachey Room, RHB	Machine Learning Group 1 10:00 - 11:00 Weeks 3,5,7,8 Strachey Room, RHB	Machine Learning Group 2 10:00 - 11:00 Weeks 3,5,7,8 051	Machine Learning Group 5 10:00 - 11:00 Weeks 3,5,7,8 Tony Hoare RHB	Computational Learning Theory Group 1 10:00 - 11:00 Weeks 3-8 Tony Hoare RHB
10:00				Quantum Processes and Computation Group 5 10:00 - 11:00 Weeks 3-8 051	Computational Game Theory Group 5 10:00 - 11:00 Weeks 3-8 Strachey Room, RHB
11:00	Linear Algebra 11:00 - 12:00 Weeks 1-8 LTA	Geometric Modelling 11:00 - 12:00 Weeks 1-7 The Bill Roscoe Lecture Theatre	Linear Algebra 11:00 - 12:00 Weeks 1-8 LTA	Quantum Information 11:00 - 12:00 Weeks 1-8 LTA	Linear Algebra 11:00 - 12:00 Weeks 1-4 LTA
11:00	Geometric Modelling 11:00 - 12:00 Weeks 1-7 The Bill Roscoe Lecture Theatre	Quantum Information 11:00 - 12:00 Weeks 1-8 LTA	Computer-Aided Formal Verification 11:00 - 12:00 Weeks 1-8 The Bill Roscoe Lecture Theatre	Combinatorial Optimisation 11:00 - 12:00 Weeks 5-8 051	Geometric Modelling 11:00 - 12:00 Weeks 1-2 The Bill Roscoe Lecture Theatre
11:00		Combinatorial Optimisation 11:00 - 12:00 Weeks 5-8 051		Computer-Aided Formal Verification 11:00 - 12:00 Weeks 1-8 The Bill Roscoe Lecture Theatre
11:00		Combinatorial Optimisation 11:00 - 12:30 Weeks 1-4 051		Combinatorial Optimisation 11:00 - 12:30 Weeks 1-4 051
11:00		Law and Computer Science 11:00 - 13:00 Week 1 Strachey Room, RHB
11:00		Law and Computer Science 11:00 - 13:00 Weeks 1-8 Tony Hoare RHB
11:00	Uncertainty in Deep Learning Group 1 11:00 - 13:00 Weeks 4-8 T60.05	Computer Vision Group 1 11:00 - 13:00 Weeks 3-8 379	Machine Learning Group 3 11:00 - 13:00 Weeks 4,6,7,8 T60.05	Geometric Modelling Group 2 11:00 - 13:00 Weeks 3,5,6,7 379	Distributed Processes, Types and Programming 11:00 - 13:00 Week 5-0 379
11:00					Concurrent Programming Group 2 11:00 - 13:00 Weeks 2,3,4,6,7,8 T60.05
11:00					Principles of Programming Languages Group 2 11:00 - 13:00 Weeks 4,6,7,8 379
11:00	Databases Group 2 11:00 - 12:00 Weeks 4,5,6,8 051		Distributed Processes, Types and Programming Group 1 11:00 - 12:00 Weeks 3-8 Strachey Room, RHB	Machine Learning Group 6 11:00 - 12:00 Weeks 3,5,7,8 Tony Hoare RHB	Computer Vision Group 1 11:00 - 12:00 Weeks 3,4,6,7 Strachey Room, RHB
11:00	Computer Vision Group 3 11:00 - 12:00 Weeks 3,4,6,7 Strachey Room, RHB		Categories, Proofs and Processes Group 2 11:00 - 12:00 Weeks 3-8 Tony Hoare RHB		Combinatorial Optimisation Group 2 11:00 - 12:00 Weeks 3-8 051
11:00			Machine Learning Group 3 11:00 - 12:00 Weeks 3,5,7,8 051		Computational Learning Theory Group 2 11:00 - 12:00 Weeks 3-8 Tony Hoare RHB
12:00	Models of Computation 12:00 - 13:00 Weeks 1-8 LTA	Concurrent Programming 12:00 - 13:00 Weeks 1-8 LTA	Models of Computation 12:00 - 13:00 Weeks 1-8 LTA	Uncertainty in Deep Learning 12:00 - 13:00 Weeks 1-4 The Bill Roscoe Lecture Theatre	Categories, Proofs and Processes 12:00 - 13:00 Weeks 1-4 Tony Hoare RHB
12:00	Categories, Proofs and Processes 12:00 - 13:00 Weeks 1-8 Tony Hoare RHB		Categories, Proofs and Processes 12:00 - 13:00 Weeks 1-8 Tony Hoare RHB	Concurrent Programming 12:00 - 13:00 Weeks 1-8 LTA
12:00				Uncertainty in Deep Learning 12:00 - 14:00 Weeks 5-8 The Bill Roscoe Lecture Theatre
12:00	Databases Group 3 12:00 - 13:00 Weeks 4,5,6,8 051		Distributed Processes, Types and Programming Group 2 12:00 - 13:00 Weeks 3-8 Strachey Room, RHB	Computer-Aided Formal Verification Group 2 12:00 - 13:00 Weeks 3-8 Strachey Room, RHB	Combinatorial Optimisation Group 3 12:00 - 13:00 Weeks 3-8 051
12:00	Computer Vision Group 4 12:00 - 13:00 Weeks 3,4,6,7 Strachey Room, RHB		Quantum Processes and Computation Group 4 12:00 - 13:00 Weeks 3-8 051
13:00	Databases Group 1 13:00 - 15:00 Weeks 5-8 379	Functional Programming Group 1 13:00 - 15:00 Weeks 1-8 T60.05	Functional Programming Group 2 13:00 - 15:00 Weeks 1-8 T60.05	Functional Programming Group 3 13:00 - 15:00 Weeks 1-8 T60.05	Functional Programming Group 4 13:00 - 15:00 Weeks 1-8 T60.05
14:00	Machine Learning 14:00 - 15:00 Weeks 1-8 LTA	Uncertainty in Deep Learning 14:00 - 16:00 Weeks 1-4 The Bill Roscoe Lecture Theatre	Quantum Processes and Computation 14:00 - 15:00 Weeks 1-8 The Bill Roscoe Lecture Theatre	Computer Vision 14:00 - 15:00 Weeks 5-8 LTA	Machine Learning 14:00 - 15:00 Weeks 5-8 LTA
14:00	Quantum Processes and Computation 14:00 - 15:00 Weeks 1-8 The Bill Roscoe Lecture Theatre			Computer Vision 14:00 - 16:00 Weeks 1-4 LTA	Quantum Processes and Computation 14:00 - 15:00 Weeks 1-8 The Bill Roscoe Lecture Theatre
14:00					Machine Learning 14:00 - 16:00 Weeks 1-4 LTA
14:00		Quantum Information Group 1 14:00 - 15:00 Weeks 3-8 Strachey Room, RHB	Computational Biology Group 1 14:00 - 15:00 Weeks 3-8 Strachey Room, RHB	Quantum Information Group 3 14:00 - 15:00 Weeks 3-8 Tony Hoare RHB	Categories, Proofs and Processes Group 3 14:00 - 15:00 Weeks 3-8 Tony Hoare RHB
14:00		Computational Game Theory Group 2 14:00 - 15:00 Weeks 3-8 051	Computational Game Theory Group 3 14:00 - 15:00 Weeks 3-8 Tony Hoare RHB	Computer-Aided Formal Verification Group 3 14:00 - 15:00 Weeks 3-8 Strachey Room, RHB	Computational Game Theory Group 6 14:00 - 15:00 Weeks 3-8 Strachey Room, RHB
14:00			Machine Learning Group 4 14:00 - 15:00 Weeks 3,5,7,8 051
15:00	Computer Vision 15:00 - 16:00 Weeks 1-8 LTA			Principles of Programming Languages 15:00 - 16:00 Weeks 1-8 The Bill Roscoe Lecture Theatre	Principles of Programming Languages 15:00 - 16:00 Weeks 1-8 The Bill Roscoe Lecture Theatre
15:00	Concurrent Programming Group 1 15:00 - 17:00 Weeks 2,3,4,6,7,8 T60.05	Machine Learning Group 2 15:00 - 17:00 Weeks 4,6,7,8 T60.05	Geometric Modelling Group 1 15:00 - 17:00 Weeks 3,5,6,7 379	Machine Learning Group 4 15:00 - 17:00 Weeks 4,6,7,8 T60.05	Uncertainty in Deep Learning Group 2 15:00 - 17:00 Weeks 4-8 T60.05
15:00					Computer Vision Group 2 15:00 - 17:00 Weeks 3-8 379
15:00	Quantum Processes and Computation Group 1 15:00 - 16:00 Weeks 3-8 051	Quantum Information Group 2 15:00 - 16:00 Weeks 3-8 Strachey Room, RHB	Computational Biology Group 2 15:00 - 16:00 Weeks 3-8 Strachey Room, RHB	Quantum Information Group 4 15:00 - 16:00 Weeks 3-8 Tony Hoare RHB	Scientific Computing Group 1 15:00 - 16:00 Weeks 3-8 Strachey Room, RHB
15:00		Quantum Processes and Computation Group 3 15:00 - 16:00 Weeks 3-8 051	Computational Game Theory Group 4 15:00 - 16:00 Weeks 3-8 Tony Hoare RHB	Computer-Aided Formal Verification Group 4 15:00 - 16:00 Weeks 3-8 Strachey Room, RHB	Categories, Proofs and Processes Group 4 15:00 - 16:00 Weeks 3-8 Tony Hoare RHB
16:00	Computational Learning Theory 16:00 - 17:30 Weeks 1-8 LTA	Computational Learning Theory 16:00 - 17:30 Weeks 1-8 LTA		Computational Learning Theory 16:00 - 17:30 Weeks 1-8 LTA
16:00	Quantum Processes and Computation Group 2 16:00 - 17:00 Weeks 3-8 051