Lecture Practical Class

Timetable for Michaelmas Term 2017 - 051
  Monday Tuesday Wednesday Thursday Friday
9:00  
Foundations of Computer Science
Group 1
9:00 - 10:00
Weeks 3-7
Room 051
  
Automata, Logic and Games
Group 1
9:00 - 10:00
Weeks 2-7
Room 051
Automata, Logic and Games
Group 2
9:00 - 10:00
Weeks 2-7
Room 051
10:00
Machine Learning
Group 1
10:00 - 11:00
Weeks 2,3,5,6,8
Room 051
Principles of Programming Languages
Group 1
10:00 - 11:00
Weeks 3,5,7,8
Room 051
Machine Learning
Group 5
10:00 - 11:00
Weeks 3,5,6,8
Room 051
Intelligent Systems
Group 2
10:00 - 11:00
Weeks 3,5,7,8
Room 051
Intelligent Systems
Group 5
10:00 - 12:00
Weeks 3,5,7,8
Room 051
11:00    
Probabilistic Model Checking
Group 2
11:00 - 12:00
Weeks 4,5,7,8
Room 051
Intelligent Systems
Group 3
11:00 - 12:00
Weeks 3,5,7,8
Room 051
Intelligent Systems
Group 6
11:00 - 12:00
Weeks 3,5,7,8
Room 051
12:00    
Computer-Aided Formal Verification
Group 1
12:00 - 13:00
Weeks 3,4,5,8
Room 051
  
Computer-Aided Formal Verification
Group 3
12:00 - 13:00
Weeks 3,4,5,8
Room 051
13:00    
Computer-Aided Formal Verification
Group 2
13:00 - 14:00
Weeks 3,4,5,8
Room 051
    
14:00    
Principles of Programming Languages
Group 2
14:00 - 15:00
Weeks 3,5,7,8
Room 051
Compilers
Group 1
14:00 - 15:00
Weeks 3,5,7,8
Room 051
Principles of Programming Languages
14:00 - 15:00
Weeks 3,5,7,8
Room 051
15:00        
Physically Based Rendering
15:00 - 16:00
Weeks 3-8
051
15:00  
Machine Learning
Group 4
15:00 - 16:00
Weeks 3,5,6,8
Room 051
Categories, Proofs and Processes
Group 2
15:00 - 16:00
Weeks 2-8
Room 051
Functional Programming
Group 2
15:00 - 16:00
Week 7
Room 051
  
15:00      
Computational Game Theory
Group 8
15:00 - 16:00
Weeks 3,4,6,8
Room 051
  
16:00    
Categories, Proofs and Processes
Group 3
16:00 - 17:00
Weeks 2-8
Room 051
Computer Security
Group 5
16:00 - 17:00
Weeks 3,4,6,8
Room 051
  
17:00
Machine Learning
Group 2
17:00 - 18:00
Weeks 3,5,6,8
Room 051
    
Foundations of Computer Science
Group 2
17:00 - 18:00
Weeks 3-8
Room 051