Lecture Practical Class

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