Lecture Practical Class

Timetable for Trinity Term 2022
  Monday Tuesday Wednesday Thursday Friday
9:00
Requirements
9:30 - 17:00
Week 4
RHB Tony Hoare Room
Requirements
9:30 - 17:00
Week 4
RHB Tony Hoare Room
Requirements
9:30 - 17:00
Week 4
RHB Tony Hoare Room
Requirements
9:30 - 17:00
Week 0
RHB Tony Hoare Room
Requirements
9:30 - 17:00
Week 4
RHB Tony Hoare Room
9:00
Computer Architecture
Revision
9:00 - 11:00
Week 6
LTA
Geometric Modelling
Revision
9:00 - 11:00
Week 4
LTB
    
Computational Game Theory
Revision
9:30 - 11:30
Week 5
Online
9:00
Computer Security
Revision
9:00 - 11:00
Week 5
LTA
        
10:00
Logic and Proof
10:00 - 12:00
Weeks 1-4
LTA
Logic and Proof
10:00 - 12:00
Weeks 1-4
LTA
  
Concurrency
10:00 - 12:00
Weeks 1,2,4,5
LTA
Concurrency
10:00 - 12:00
Weeks 1,2,4,5
LTA
10:00
Computational Complexity
Revision
10:00 - 12:00
Week 5
LTB
  
Information Theory (B8.4)
Group 1
10:00 - 11:00
Week 1
RHB Tony Hoare
Logic and Proof
Revision
10:00 - 12:00
Week 6
LTA
Computer Networks
Revision
10:00 - 12:00
Week 5
Room 051
10:00    
Probabilistic Model Checking
Revision
10:00 - 12:00
Week 5
LTA
  
Information Theory (B8.4)
Revision
10:00 - 12:00
Week 7
Online
11:00
Imperative Programming Part 3
11:00 - 12:00
Weeks 1-4
LTB
Imperative Programming Part 3
11:00 - 12:00
Weeks 1-4
LTB
Imperative Programming Part 3
11:00 - 12:00
Weeks 1-4
LTA
Digital Systems
11:00 - 12:00
Weeks 1-4
LTB
Digital Systems
11:00 - 12:00
Weeks 1-4
LTB
11:00    
Computer Networks
Group 1
11:00 - 13:00
Weeks 2-5
Room 379
    
11:00
Databases
Revision
11:00 - 13:00
Week 6
LTA
Concurrency
Revision
11:00 - 13:00
Week 5
Online
      
12:00      
Introduction to Formal Proof
12:00 - 13:00
Weeks 1-5
LTB
Introduction to Formal Proof
12:00 - 13:00
Weeks 1-5
LTB
12:00
Logic and Proof
Group 1
12:00 - 13:00
Weeks 2-5
Online
        
13:00    
Imperative Programming Part 3
Group 2
13:00 - 15:00
Weeks 2-5
Thom Lab
    
13:00
Probability and Computing
Revision
13:00 - 15:00
Week 5
LTB
    
Computer Graphics
Revision
13:00 - 15:00
Week 4
LTA
  
14:00
Concurrency
Group 1
14:00 - 16:00
Weeks 2-5
Thom Lab
Concurrency
Group 2
14:00 - 16:00
Weeks 2-5
Thom Lab
  
Imperative Programming Part 3
Group 1
14:00 - 16:00
Weeks 2-5
Thom Lab
  
14:00
Quantum Information
Revision
14:00 - 16:00
Week 4
LTA
Artificial Intelligence
Revision
14:00 - 16:00
Week 3
LTB
Concurrency
Group 1
14:00 - 15:00
Weeks 2-5
Online
Computer Networks
Group 1
14:00 - 15:00
Weeks 2-5
RHB Strachey
Lambda Calculus and Types
Revision
14:00 - 16:00
Week 4
LTA
14:00    
Computer Networks
Group 2
14:00 - 15:00
Weeks 2-5
Online
Knowledge Representation & Reasoning
Revision
14:00 - 16:00
Week 3
LTA
  
14:00    
Principles of Programming Languages
Revision
14:00 - 16:00
Week 4
LTA
    
15:00      
Computer Networks
15:00 - 17:00
Weeks 1-5
LTB
Computer Networks
15:00 - 16:00
Weeks 1-4
LTB
15:00        
Computer Networks
15:00 - 17:00
Week 5
LTB
15:00    
Imperative Programming Part 3
Group 3
15:00 - 17:00
Weeks 2-5
Thom Lab
    
15:00  
Computer-Aided Formal Verification
Revision
15:00 - 17:00
Week 5
LTA
      
16:00
Logic and Proof
Group 2
16:00 - 17:00
Weeks 2-5
LTB
  
Concurrency
Group 2
16:00 - 17:00
Weeks 2-5
LTA
Machine Learning
Revision
16:00 - 17:30
Week 3
Online