Lecture Practical Class

Timetable for Trinity Term 2026
  Monday Tuesday Wednesday Thursday Friday
9:00    
Digital Systems
9:00 - 10:00
Weeks 1-4
LTA
Digital Systems
9:00 - 10:00
Weeks 1-4
LTA
  
9:00
Databases
Revision Class
9:00 - 11:00
Week 3
The Bill Roscoe Lecture TheatreR
        
10:00
Introduction to Proof Systems
10:00 - 11:00
Weeks 1-4
LTA
Introduction to Proof Systems
10:00 - 11:00
Weeks 1-4
LTA
  
Introduction to Proof Systems
10:00 - 11:00
Weeks 1-4
LTA
  
10:00    
Knowledge Representation & Reasoning
Revision Class
10:00 - 12:00
Week 3
Strachey Room, RHB
    
11:00
Lambda Calculus and Types
Revision Class
11:00 - 13:00
Week 2
Strachey Room, RHB
Geometric Modelling
Revision Class
11:00 - 12:00
Week 3
051
Computer-Aided Formal Verification
Revision Class
11:00 - 13:00
Week 2
LTA
  
Geometric Modelling
Revision Class
11:00 - 12:00
Week 3
051
11:00
Computer Vision
Revision Class
11:00 - 13:00
Week 4
LTA
Probabilistic Model Checking
Revision Class
11:00 - 13:00
Week 5
051
Computer Graphics
Revision Class
11:00 - 13:00
Week 4
LTA
  
Concurrency
Revision Class
11:00 - 13:00
Week 4
051
13:00  
Scientific Computing
Revision Class
13:00 - 15:00
Week 3
Strachey Room, RHB
Artificial Intelligence
Revision Class
13:00 - 15:00
Week 4
LTA
    
14:00
Logic and Proof
Revision Class
14:00 - 16:00
Week 3
051
Physics Informed Neural Networks
Revision Class
14:00 - 16:00
Week 2
051
Algorithmic Foundations of Collective Decision Making
Revision Class
14:00 - 16:00
Week 3
Strachey Room, RHB
Computational Game Theory
Revision Class
14:00 - 16:00
Week 3
LTA
Combinatorial Optimisation
Revision Class
14:00 - 16:00
Week 4
Strachey Room, RHB
14:00      
Computational Complexity
Revision Class
14:00 - 16:00
Week 3
051
Quantum Information
Revision Class
14:00 - 16:00
Week 3
051
14:00      
Machine Learning
Revision Class
14:00 - 16:00
Week 2
LTA
  
15:00  
Computer Architecture
Revision Class
15:00 - 17:00
Week 3
The Bill Roscoe Lecture TheatreR
      
16:00        
Computer Networks
Revision Class
16:30 - 18:30
Week 5
LTA