Lecture Practical Class

Timetable for Trinity Term 2025 - 051
  Monday Tuesday Wednesday Thursday Friday
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
11:00  
Knowledge Representation & Reasoning
Revision Class
11:00 - 13:00
Week 3
051
      
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        
Geometric Modelling
Revision Class
12:00 - 13:00
Week 2
051
13:00  
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
Revision Class
14:00 - 16:00
Week 2
051
Computer Graphics
Revision Class
14:00 - 16:00
Week 3
051
  
15:00  
Combinatorial Optimisation
Revision Class
15:00 - 17:00
Week 3
051