Timetable TT2023

Lecture

Practical

Class

Timetable for Trinity Term 2023

	Monday	Tuesday	Wednesday	Thursday	Friday
9:00	Requirements 9:30 - 17:00 Week 4 Tony Hoare RHB	Requirements 9:30 - 17:00 Week 4 Tony Hoare RHB	Requirements 9:30 - 17:00 Week 4 Tony Hoare RHB	Requirements 9:30 - 17:00 Week 4 Tony Hoare RHB	Requirements 9:30 - 17:00 Week 4 Tony Hoare RHB
9:00	Concurrency Group 1 9:00 - 11:00 Weeks 2-5 Room 379
9:00	Principles of Programming Languages REVISION 9:30 - 11:30 Week 6 LTA
10:00		Deep Learning in Healthcare 10:00 - 11:00 Week 1 Tony Hoare RHB		Digital Systems 10:00 - 11:00 Weeks 1-4 LTB
10:00		Digital Systems 10:00 - 11:00 Weeks 3-4 LTB
10:00		Digital Systems 10:00 - 12:00 Week 2 LTB
10:00	Databases REVISION 10:00 - 12:00 Week 5 LTA				Probabilistic Model Checking REVISION 10:00 - 12:00 Week 3 THR, RHB
11:00	Concurrency 11:00 - 12:00 Weeks 1-4 LTA	Concurrency 11:00 - 12:00 Weeks 1-4 LTA	Concurrency 11:00 - 12:00 Weeks 1-4 LTA	Imperative Programming Part 3 11:00 - 12:00 Weeks 1-4 LTB	Concurrency 11:00 - 12:00 Weeks 1-4 LTA
11:00	Imperative Programming Part 3 11:00 - 12:00 Weeks 2-5 LTB			Deep Learning in Healthcare 11:00 - 12:00 Week 1 Tony Hoare RHB	Imperative Programming Part 3 11:00 - 12:00 Weeks 1-4 LTB
11:00		Imperative Programming Part 3 Group 3 11:00 - 13:00 Weeks 3-5 Thom Lab, Level 6
11:00		Knowledge Representation & Reasoning REVISION 11:00 - 13:00 Week 2 Tony Hoare, RHB		Computer-Aided Formal Verification REVISION 11:00 - 13:00 Week 5 LTA
11:00				Computer Networks REVISION 11:00 - 13:00 Week 4 LTA
11:00				Probability and Computing REVISION 11:00 - 13:00 Week 3 LTA
12:00			Introduction to Formal Proof 12:00 - 13:00 Weeks 1-5 LTB		Introduction to Formal Proof 12:00 - 13:00 Weeks 3-5 LTB
12:00		Computer Graphics REVISION 12:00 - 13:00 Week 3 LTA			Computer Graphics REVISION 12:00 - 13:00 Week 3 LTA
13:00			Logic and Proof REVISION 13:00 - 15:00 Week 5 LTA
14:00					Introduction to Formal Proof 14:00 - 15:00 Weeks 1-2 LTB
14:00	Imperative Programming Part 3 Group 1 14:00 - 16:00 Weeks 2-5 Thom Lab, Level 6	Imperative Programming Part 3 Group 3 14:00 - 16:00 Week 2 Thom Lab, Level 6	Concurrency Group 2 14:00 - 16:00 Weeks 2-5 Room 379
14:00	Concurrency Group 2 14:00 - 15:00 Weeks 2-4 Room 051	Concurrency Group 1 14:00 - 15:00 Weeks 2-5 Room 051	Combinatorial Optimisation REVISION 14:00 - 16:00 Week 2 LTA	Geometric Modelling REVISION 14:00 - 15:00 Week 3 LTA	Artificial Intelligence REVISION 14:00 - 16:00 Week 3 LTA
14:00	Computer Security REVISION 14:00 - 16:00 Week 4 LTA	Geometric Modelling REVISION 14:00 - 15:00 Week 3 LTA	Computer Architecture REVISION 14:00 - 16:00 Week 4 LTA	Computational Game Theory REVISION 14:00 - 16:00 Week 3 LTB	Lambda Calculus and Types REVISION 14:00 - 16:00 Week 5 LTA
14:00	Quantum Information REVISION 14:00 - 16:00 Week 5 LTA			Concurrency REVISION 14:00 - 16:00 Week 4 LTA
15:00		Computational Complexity REVISION 15:00 - 17:00 Week 3 LTA
15:00		Machine Learning REVISION 15:00 - 17:00 Week 4 LTA
16:00	Imperative Programming Part 3 Group 2 16:00 - 18:00 Weeks 2-5 Thom Lab, Level 6