Lecture Practical Class

Timetable for Trinity Term 2022 - LTA
  Monday Tuesday Wednesday Thursday Friday
9:00
Computer Architecture
Revision
9:00 - 11:00
Week 6
LTA
        
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    
Probabilistic Model Checking
Revision
10:00 - 12:00
Week 5
LTA
Logic and Proof
Revision
10:00 - 12:00
Week 6
LTA
  
11:00    
Imperative Programming Part 3
11:00 - 12:00
Weeks 1-4
LTA
    
11:00
Databases
Revision
11:00 - 13:00
Week 6
LTA
        
13:00      
Computer Graphics
Revision
13:00 - 15:00
Week 4
LTA
  
14:00
Quantum Information
Revision
14:00 - 16:00
Week 4
LTA
  
Principles of Programming Languages
Revision
14:00 - 16:00
Week 4
LTA
Knowledge Representation & Reasoning
Revision
14:00 - 16:00
Week 3
LTA
Lambda Calculus and Types
Revision
14:00 - 16:00
Week 4
LTA
15:00  
Computer-Aided Formal Verification
Revision
15:00 - 17:00
Week 5
LTA
      
16:00    
Concurrency
Group 2
16:00 - 17:00
Weeks 2-5
LTA