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
The Bill Roscoe Lecture Theatre
Artificial Intelligence
10:00 - 12:00
Week 4
The Bill Roscoe Lecture Theatre
  
Machine Learning
10:00 - 12:00
Week 2
The Bill Roscoe Lecture Theatre
Knowledge Representation & Reasoning
10:00 - 12:00
Week 3
051
10:00  
Computer-Aided Formal Verification
10:00 - 12:00
Week 3
051
    
Databases
10:00 - 12:00
Week 3
The Bill Roscoe Lecture Theatre
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
The Bill Roscoe Lecture Theatre
      
12:00
Geometric Modelling
12:00 - 13:00
Week 4
051
      
Geometric Modelling
12:00 - 13:00
Week 4
051
14:00
Lambda Calculus and Types
14:00 - 16:00
Week 5
The Bill Roscoe Lecture Theatre
Computational Game Theory
14:00 - 16:00
Week 4
The Bill Roscoe Lecture Theatre
  
Probability and Computing
14:00 - 16:00
Week 3
The Bill Roscoe Lecture Theatre
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
The Bill Roscoe Lecture Theatre
  
Computer Vision
14:00 - 16:00
Week 2
The Bill Roscoe Lecture Theatre
  
14:00
Computer Security
14:00 - 16:00
Week 3
The Bill Roscoe Lecture Theatre
    
Quantum Information
14:00 - 16:00
Week 4
The Bill Roscoe Lecture Theatre
  
15:00      
Combinatorial Optimisation
15:00 - 17:00
Week 2
051