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  
Lambda Calculus and Types
Revision Class
10:00 - 12:00
Week 2
051
Computer-Aided Formal Verification
Revision Class
10:00 - 12:00
Week 2
051
Concurrency
Revision Class
10:00 - 11:00
Week 4
051
Concurrency
Revision Class
10:00 - 11:00
Week 4
051
10:00      
Machine Learning
Revision Class
10:00 - 12:00
Week 2
Bill Roscoe
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
      
11:00  
Physics Informed Neural Networks
Revision Class
11:00 - 13:00
Week 2
Bill Roscoe
      
11:00  
Quantum Information
Revision Class
11:00 - 13:00
Week 3
LTA
      
12:00
Scientific Computing
Revision Class
12:00 - 14:00
Week 3
051
Geometric Modelling
Revision Class
12:00 - 13:00
Week 2
051
  
Probabilistic Model Checking
Revision Class
12:00 - 13:00
Week 3
051
Probabilistic Model Checking
Revision Class
12:00 - 13:00
Week 3
051
12:00
Databases
Revision Class
12:00 - 14:00
Week 2
Bill Roscoe
    
Computer Vision
Revision Class
12:00 - 14:00
Week 2
LTA
Geometric Modelling
Revision Class
12:00 - 13:00
Week 2
051
12:00
Computational Complexity
Revision Class
12:00 - 14:00
Week 4
Tony Hoare
        
13:00
Artificial Intelligence
Revision Class
13:00 - 15:00
Week 3
LTA
Computer Architecture
Revision Class
13:00 - 15:00
Week 3
051
  
Logic and Proof
Revision Class
13:00 - 15:00
Week 4
051
  
14:00  
Principles of Programming Languages
Group 2
14:00 - 16:00
Week 1
379
      
14:00    
Principles of Programming Languages
Revision Class
14:00 - 16:00
Week 2
051
Computer Graphics
Revision Class
14:00 - 16:00
Week 3
051
  
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