Lecture Practical Class

Timetable for Trinity Term 2024
  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
10:00
Logic and Proof
10:00 - 12:00
Week 4
LTB
Artificial Intelligence
10:00 - 12:00
Week 4
LTB
  
Machine Learning
10:00 - 12:00
Week 2
LTB
Knowledge Representation & Reasoning
10:00 - 12:00
Week 3
Room 051
10:00  
Computer-Aided Formal Verification
10:00 - 12:00
Week 3
Room 051
    
Databases
10:00 - 12:00
Week 3
LTB
11:00
Introduction to Proof Systems
11:00 - 12:00
Weeks 1-4
LTA
  
Introduction to Proof Systems
11:00 - 12:00
Weeks 1-4
LTA
  
Introduction to Proof Systems
11:00 - 12:00
Weeks 1-4
LTA
11:00  
Computer Graphics
11:00 - 13:00
Week 2
LTB
      
12:00
Geometric Modelling
12:00 - 13:00
Week 4
Room 051
      
Geometric Modelling
12:00 - 13:00
Week 4
Room 051
14:00
Lambda Calculus and Types
14:00 - 16:00
Week 5
LTB
Computational Game Theory
14:00 - 16:00
Week 4
LTB
  
Probability and Computing
14:00 - 16:00
Week 3
LTB
Computer Architecture
14:00 - 16:00
Week 4
Tony Hoare Room (RHB)
14:00
Principles of Programming Languages
14:00 - 16:00
Week 4
Tony Hoare Room (RHB)
Computational Complexity
14:00 - 16:00
Week 3
LTB
  
Computer Vision
14:00 - 16:00
Week 2
LTB
  
14:00
Computer Security
14:00 - 16:00
Week 3
LTB
    
Quantum Information
14:00 - 16:00
Week 4
LTB
  
15:00      
Combinatorial Optimisation
15:00 - 17:00
Week 2
Room 051