Timetable MT2025

Lecture

Practical

Class

Timetable for Michaelmas Term 2025

	Monday	Tuesday	Wednesday	Thursday	Friday
9:00	Scientific Computing 9:00 - 10:00 Weeks 1-8 LTA	Computational Biology 9:00 - 10:00 Weeks 1-8 Tony Hoare RHB	Scientific Computing 9:00 - 10:00 Weeks 1-8 LTA	Computational Biology 9:00 - 10:00 Weeks 1-8 Tony Hoare RHB	Linear Algebra 9:00 - 10:00 Weeks 1-4 LTA
9:00	Distributed Processes, Types and Programming 9:00 - 11:00 Weeks 1-6 Tony Hoare RHB	Linear Algebra 9:00 - 10:00 Weeks 1-8 LTA	Distributed Processes, Types and Programming 9:00 - 11:00 Weeks 1-6 Tony Hoare RHB	Linear Algebra 9:00 - 10:00 Weeks 1-8 LTA	Computational Biology 9:00 - 10:00 Weeks 1-4 Tony Hoare RHB
9:00		Databases 9:00 - 10:00 Weeks 1-8 165-LTBR		Databases 9:00 - 10:00 Weeks 1-8 165-LTBR
9:00	Machine Learning Group 1 9:00 - 11:00 Weeks 4,6,7,8 T60.05		Geometric Modelling Group 1 9:00 - 11:00 Weeks 3,5,6,7 379	Law and Computer Science 9:00 - 11:00 Weeks 2,6,8 Pembroke College	Distributed Processes, Types and Programming 9:00 - 11:00 Week 5 379
9:00	Computer Vision Group 1 9:00 - 11:00 Weeks 3-8 379			Principles of Programming Languages Group 1 9:00 - 11:00 Weeks 4,6,7,8 379	Computer Graphics Group 1 9:00 - 11:00 Weeks 3,4,6,7 379
9:00					Concurrent Programming Group 2 9:00 - 11:00 Weeks 2,3,4,6,7,8 T60.05
9:00				Law and Computer Science 9:00 - 11:00 Weeks 1,7 Pembroke College
9:00				Law and Computer Science 9:30 - 11:00 Week 4 Pembroke College
10:00	Functional Programming 10:00 - 11:00 Weeks 1-8 LTA	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	Probabilistic Model Checking 10:00 - 11:00 Weeks 1-7 165-LTBR
10:00	Combinatorial Optimisation 10:00 - 11:00 Weeks 5-8 051	Computer Graphics 10:00 - 11:00 Week 1 165-LTBR	Functional Programming 10:00 - 11:00 Weeks 1-8 LTA	Probabilistic Model Checking 10:00 - 11:00 Week 8 165-LTBR	Principles of Programming Languages 10:00 - 11:00 Weeks 1-8 LTA
10:00	Distributed Processes, Types and Programming 10:00 - 11:00 Weeks 1-6 Tony Hoare RHB		Computer Graphics 10:00 - 11:00 Week 1 165-LTBR	Probabilistic Model Checking 10:00 - 12:00 Weeks 1-6 165-LTBR
10:00	Combinatorial Optimisation 10:00 - 11:30 Weeks 1-4 051		Combinatorial Optimisation 10:00 - 11:30 Weeks 1-4 051
10:00	Machine Learning Group 1 10:00 - 11:00 Weeks 4,6,7,8 T60.05	Probabilistic Model Checking Group 1 10:00 - 12:00 Weeks 4,5,7,8 379		Machine Learning Group 3 10:00 - 12:00 Weeks 4,6,7,8 T60.05
10:00	Computer Vision Group 1 10:00 - 11:00 Weeks 3-8 379	Machine Learning Group 2 10:00 - 12:00 Weeks 4,6,7,8 T60.05
10:00	Computational Game Theory Group 1 10:00 - 11:00 Weeks 3-8 Strachey Room, RHB	Principles of Programming Languages Group 1 10:00 - 11:00 Weeks 3,5,7,8 051	Computer Vision Group 1 10:00 - 11:00 Weeks 3,4,6,7 Strachey Room, RHB	Concurrency Group 1 10:00 - 11:00 Weeks 3,5,7,8 Tony Hoare RHB	Concurrency Group 2 10:00 - 11:00 Weeks 3,5,7,8 Tony Hoare RHB
10:00		Combinatorial Optimisation Group 3 10:00 - 11:00 Weeks 3-8 Tony Hoare RHB		Computational Game Theory Group 4 10:00 - 11:00 Weeks 3-8 Strachey Room, RHB	Computer Vision Group 3 10:00 - 11:00 Weeks 3,4,6,7 Strachey Room, RHB
11:00	Categories, Proofs and Processes 11:00 - 12:00 Weeks 1-8 Tony Hoare RHB	Quantum Information 11:00 - 12:00 Weeks 1-8 LTA	Computer-Aided Formal Verification 11:00 - 12:00 Weeks 1-8 LTA	Quantum Information 11:00 - 12:00 Weeks 1-8 LTA	Geometric Modelling 11:00 - 12:00 Week 1 LTA
11:00	Computer-Aided Formal Verification 11:00 - 12:00 Weeks 1-8 LTA	Geometric Modelling 11:00 - 12:00 Weeks 1-7 165-LTBR	Categories, Proofs and Processes 11:00 - 12:00 Weeks 1-8 Tony Hoare RHB		Categories, Proofs and Processes 11:00 - 12:00 Weeks 1-4 Tony Hoare RHB
11:00	Geometric Modelling 11:00 - 12:00 Weeks 1-7 165-LTBR	Law and Computer Science 11:00 - 13:00 Week 1 Strachey Room, RHB			Geometric Modelling 11:00 - 12:00 Week 2 165-LTBR
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 2 11:00 - 13:00 Weeks 3-8 379	Concurrent Algorithms and Data Structures Group 2 11:00 - 13:00 Weeks 3,4,6,7,8 379	Principles of Programming Languages Group 2 11:00 - 13:00 Weeks 4,6,7,8 379
11:00	Concurrency Group 1 11:00 - 13:00 Weeks 3,5,7,8 379
11:00	Databases Group 1 11:00 - 12:00 Weeks 4,5,6,8 Strachey Room, RHB	Principles of Programming Languages Group 2 11:00 - 12:00 Weeks 3,5,7,8 051	Geometric Modelling Group 1 11:00 - 12:00 Weeks 3,4,6,8 105	Computational Game Theory group 5 11:00 - 12:00 Weeks 3-8 Strachey Room, RHB	Computer Graphics Group 2 11:00 - 12:00 Weeks 3,5,7,8 051
11:00		Computer Vision Group 2 11:00 - 12:00 Weeks 3,7 Strachey Room, RHB	Computational Game Theory Group 3 11:00 - 12:00 Weeks 3-8 Strachey Room, RHB		Computer Vision Group 4 11:00 - 12:00 Weeks 3,4,6,7 Strachey Room, RHB
11:00		Computer Vision Group 2 11:00 - 12:00 Weeks 4,6 051	Machine Learning Group 3 11:00 - 12:00 Weeks 3,5,7,8 441
11:00		Databases Group 3 11:00 - 12:00 Weeks 4,5,6,8 Strachey Room, RHB
12:00	Concurrent Algorithms and Data Structures 12:00 - 13:00 Weeks 1-7 165-LTBR	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 165-LTBR	Concurrent Algorithms and Data Structures 12:00 - 13:00 Week 1 LTA
12:00	Models of Computation 12:00 - 13:00 Weeks 1-8 LTA		Concurrent Algorithms and Data Structures 12:00 - 13:00 Weeks 1-7 165-LTBR	Concurrent Programming 12:00 - 13:00 Weeks 1-8 LTA	Concurrent Algorithms and Data Structures 12:00 - 13:00 Weeks 2-6 165-LTBR
12:00				Uncertainty in Deep Learning 12:00 - 14:00 Weeks 5-8 165-LTBR
12:00	Databases Group 2 12:00 - 13:00 Weeks 4,5,6,8 Strachey Room, RHB	Machine Learning Group 1 12:00 - 13:00 Weeks 3,5,7,8 Strachey Room, RHB	Computer Graphics Group 1 12:00 - 13:00 Weeks 3,5,7,8 051		Machine Learning Group 6 12:00 - 13:00 Weeks 3,5,7,8 Tony Hoare RHB
12:00		Combinatorial Optimisation Group 1 12:00 - 13:00 Weeks 3-8 051	Machine Learning Group 4 12:00 - 13:00 Weeks 3,5,7,8 Strachey Room, RHB
13:00		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
13:00	Scientific Computing Group 2 13:00 - 14:00 Weeks 3-8 051	Combinatorial Optimisation Group 2 13:00 - 14:00 Weeks 3-8 051	Geometric Modelling Group 2 13:00 - 14:00 Weeks 3,4,6,8 051	Computer-Aided Formal Verification Group 1 13:00 - 14:00 Weeks 3-8 Tony Hoare RHB
14:00	Computer Vision 14:00 - 15:00 Weeks 1-8 LTA	Uncertainty in Deep Learning 14:00 - 16:00 Weeks 1-4 165-LTBR	Concurrency 14:00 - 15:00 Weeks 1-8 165-LTBR	Computer Graphics 14:00 - 15:00 Weeks 1,3,4,5,6,7,8 165-LTBR	Concurrency 14:00 - 15:00 Weeks 1-8 165-LTBR
14:00	Computer Graphics 14:00 - 15:00 Weeks 1,3,4,5,6,7,8 165-LTBR	Machine Learning 14:00 - 16:00 Weeks 1-4 LTA		Computational Game Theory 14:00 - 16:00 Weeks 1-4 LTA	Computer Vision 14:00 - 15:00 Weeks 1-4 LTA
14:00	Concurrent Programming Group 1 14:00 - 16:00 Weeks 2,3,4,6,7,8 T60.05	Concurrent Algorithms and Data Structures Group 1 14:00 - 16:00 Weeks 3,4,6,7,8 379	Geometric Modelling Group 2 14:00 - 16:00 Weeks 3,5,6,7 379	Probabilistic Model Checking Group 2 14:00 - 16:00 Weeks 4,5,7,8 379	Computer Graphics Group 2 14:00 - 16:00 Weeks 3,4,6,7 379
14:00	Quantum Information Group 1 14:00 - 15:00 Weeks 3-8 Strachey Room, RHB		Quantum Information Group 2 14:00 - 15:00 Weeks 3-8 Tony Hoare RHB	Computer-Aided Formal Verification Group 2 14:00 - 15:00 Weeks 3-8 Tony Hoare RHB	Categories, Proofs and Processes Group 2 14:00 - 15:00 Weeks 3-8 Strachey Room, RHB
14:00	Concurrent Algorithms and Data Structures Group 1 14:00 - 15:00 Weeks 3,5,7,8 Tony Hoare RHB		Concurrent Algorithms and Data Structures Group 2 14:00 - 15:00 Weeks 3,5,7,8 Strachey Room, RHB	Databases Group 4 14:00 - 15:00 Weeks 4,5,6,8 Strachey Room, RHB	Machine Learning Group 7 14:00 - 15:00 Weeks 3,5,7,8 Tony Hoare RHB
14:00			Probabilistic Model Checking Group 3 14:00 - 15:00 Weeks 4,5,7,8 051
15:00		Machine Learning 15:00 - 16:00 Weeks 5-8 LTA	Machine Learning 15:00 - 16:00 Weeks 1-8 LTA	Computational Game Theory 15:00 - 16:00 Weeks 5-8 LTA	Computational Game Theory 15:00 - 16:00 Weeks 1-8 LTA
15:00				Principles of Programming Languages 15:00 - 16:00 Weeks 1-8 165-LTBR
15:00	Concurrency Group 2 15:00 - 17:00 Weeks 3,5,7,8 379			Databases Group 2 15:00 - 17:00 Weeks 5-8 T60.05
15:00	Distributed Processes, Types and Programming Group 1 15:00 - 16:00 Weeks 3-8 Tony Hoare RHB		Probabilistic Model Checking Group 2 15:00 - 16:00 Weeks 4,5,7,8 Tony Hoare RHB	Computer Graphics Group 3 15:00 - 16:00 Weeks 3,5,7,8 051	Computational Biology Group 1 15:00 - 16:00 Weeks 3-8 051
15:00	Scientific Computing Group 1 15:00 - 16:00 Weeks 3-8 051		Computational Game Theory Group 6 15:00 - 16:00 Weeks 3-8 Strachey Room, RHB	Machine Learning Group 5 15:00 - 16:00 Weeks 3,5,7,8 Strachey Room, RHB	Categories, Proofs and Processes Group 3 15:00 - 16:00 Weeks 3-8 Strachey Room, RHB
15:00	Computational Game Theory Group 2 15:00 - 16:00 Weeks 3-8 Strachey Room, RHB				Computer-Aided Formal Verification Group 4 15:00 - 16:00 Weeks 3-8 Tony Hoare RHB
16:00		Computer Vision 16:00 - 17:00 Weeks 1-8 LTA
16:00	Uncertainty in Deep Learning Group 2 16:00 - 18:00 Weeks 4-8 T60.05	Databases Group 1 16:00 - 18:00 Weeks 5-8 T60.05			Machine Learning Group 4 16:00 - 18:00 Weeks 4,6,7,8 T60.05
16:00	Principles of Programming Languages group 3 16:00 - 15:00 Weeks 3,5,7,8 051	Machine Learning Group 2 16:00 - 17:00 Weeks 3,5,7,8 Strachey Room, RHB	Probabilistic Model Checking Group 1 16:00 - 17:00 Weeks 4,5,7,8 Tony Hoare RHB	Categories, Proofs and Processes Group 1 16:00 - 17:00 Weeks 3-4 Strachey Room, RHB	Computer-Aided Formal Verification Group 3 16:00 - 16:00 Week 4-0 Tony Hoare RHB
16:00	Distributed Processes, Types and Programming Group 2 16:00 - 17:00 Weeks 3-8 Tony Hoare RHB		Computational Game Theory Group 7 16:00 - 17:00 Weeks 3-8 Strachey Room, RHB	Categories, Proofs and Processes Group 1 16:00 - 18:00 Weeks 7-8 Strachey Room, RHB	Computational Biology Group 2 16:00 - 17:00 Weeks 3-8 051
16:00	Quantum Information Group 3 16:00 - 17:00 Weeks 3-8 Strachey Room, RHB
17:00					Computational Biology Group 3 17:00 - 18:00 Weeks 3-8 051