Lecture Practical Class

Timetable for Trinity Term 2025
  Monday Tuesday Wednesday Thursday Friday
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
Digital Systems
10:00 - 11:00
Weeks 1-4
LTA
Introduction to Proof Systems
10:00 - 11:00
Weeks 1-4
LTA
Digital Systems
10:00 - 11:00
Weeks 1-4
LTA
10:00
Computer Security
Revision Class
10:00 - 12:00
Week 3
Tony Hoare
        
11:00  
Principles of Programming Languages
Group 1
11:00 - 13:00
Week 1
379
      
11:00  
Knowledge Representation & Reasoning
Revision Class
11:00 - 13:00
Week 3
051
      
12:00
Databases
Revision Class
12:00 - 14:00
Week 5
Bill Roscoe
Geometric Modelling
Revision Class
12:00 - 13:00
Week 2
051
Scientific Computing
Revision Class
12:00 - 14:00
Week 3
379
Computer Vision
Revision Class
12:00 - 14:00
Week 2
LTA
  
14:00  
Principles of Programming Languages
Group 2
14:00 - 16:00
Week 1
379
      
14:00  
Computer-Aided Formal Verification
Revision Class
14:00 - 16:00
Week 2
W-MSc Lab (379)
Computer Architecture
Revision Class
14:00 - 16:00
Week 3
379
Computer Graphics
Revision Class
14:00 - 16:00
Week 3
379
  
14:00      
Computational Game Theory
Revision Class
14:00 - 16:00
Week 4
LTA
  
15:00  
Combinatorial Optimisation
Revision Class
15:00 - 17:00
Week 3
051