Lecture Practical Class

Timetable for Michaelmas Term 2016
  Monday Tuesday Wednesday Thursday Friday
9:00
Databases
9:00 - 10:00
Weeks 5-8
LTB
Linear Algebra
9:00 - 10:00
Weeks 1-8
LTA
Linear Algebra
9:00 - 10:00
Weeks 1-8
LTA
Object Oriented Programming
9:00 - 10:00
Weeks 1-8
LTB
  
9:00  
Object Oriented Programming
9:00 - 10:00
Weeks 1-8
LTB
Probabilistic Model Checking
9:00 - 10:00
Weeks 1-4
LTB
    
9:00
Computer Animation
Group 1
9:00 - 11:00
Weeks 2,4,6,7,8
Room 379
Probabilistic Model Checking
9:00 - 11:00
Weeks 3,4,6,8
T6.09
Intelligent Systems
Group 2
9:00 - 11:00
Weeks 2-8
T6.09
Computer Animation
Group 2
9:00 - 12:00
Weeks 2,4,6,7,8
Room 379
Intelligent Systems
Group 3
9:00 - 11:00
Weeks 2-8
T6.09
9:00
Machine Learning
Group 1
9:00 - 10:00
Weeks 2,3,5,6,8
Room 051
      
Foundations of Computer Science
Group 1
9:00 - 10:00
Weeks 3-8
Room 441
9:00
Categories, Proofs and Processes
Group 2
9:00 - 10:00
Week 3
Room 114 RHB
      
Categories, Proofs and Processes
Group 2
9:00 - 10:00
Week 4
Room 114 RHB
10:00
Databases
10:00 - 11:00
Weeks 1-8
LTB
Databases
10:00 - 11:00
Weeks 1-4
LTB
Discrete Mathematics
10:00 - 11:00
Weeks 1-8
LTA
Functional Programming
10:00 - 11:00
Weeks 1-8
LTA
Linear Algebra
10:00 - 11:00
Weeks 1-8
LTA
10:00
Discrete Mathematics
10:00 - 11:00
Weeks 1-8
LTA
  
Computer Animation
10:00 - 11:00
Weeks 1,2,3,4,7,8
LTB
  
Probabilistic Model Checking
10:00 - 11:00
Weeks 1-8
LTB
10:00
Machine Learning
Group 2
10:00 - 11:00
Weeks 2,3,5,6,8
Room 051
Computer Animation
Group 1
10:00 - 11:00
Weeks 2,4,6,8
Room 441
Machine Learning
Group 5
10:00 - 11:00
Weeks 2,3,5,6,8
Room 051
Computer-Aided Formal Verification
Group 1
10:00 - 11:00
Weeks 2,3,4,5,8
Room 051
Quantum Computer Science
Group 1
10:00 - 11:00
Weeks 2-8
Room 051
10:00
Computational Game Theory
Group 3
10:00 - 11:00
Weeks 3,4,6,8
Room 114 RHB
Object Oriented Programming
Group 1
10:00 - 11:00
Weeks 3,5,7,8
Room 114 RHB
  
Quantum Computer Science
Group 4
10:00 - 11:00
Weeks 2-8
Room 114 RHB
Foundations of Computer Science
Group 2
10:00 - 11:00
Weeks 3-8
Room 441
11:00
Categories, Proofs and Processes
11:00 - 12:00
Weeks 1-8
LTB (Lecture Theatre B)
Functional Programming
11:00 - 12:00
Weeks 1-8
LTA
Computational Game Theory
11:00 - 12:00
Weeks 1-8
LTB
Probabilistic Model Checking
11:00 - 12:00
Weeks 1-8
LTB
Intelligent Systems
11:00 - 12:00
Weeks 1-8
LTA
11:00    
Intelligent Systems
11:00 - 12:00
Weeks 1-8
LTA
    
11:00
Computer Security
Group 1
11:00 - 13:00
Weeks 2,3,4,6,7,8
T6.09
Machine Learning
Group 1
11:00 - 13:00
Weeks 4,6,7,8
Room 379
Computer Security
Group 2
11:00 - 13:00
Weeks 2,3,4,6,7,8
T6.09
Machine Learning
Group 3
11:00 - 13:00
Weeks 4,6,7,8
T6.09
Principles of Programming Languages
Group 2
11:00 - 13:00
Weeks 3,4,6,7,8
T6.09
11:00
Functional Programming
Group 1
11:00 - 12:00
Weeks 3-8
Tony Hoare RHB
Intelligent Systems
Group 1
11:00 - 12:00
Weeks 3,5,7,8
Tony Hoare RHB
Machine Learning
Group 6
11:00 - 12:00
Weeks 2,3,5,6,8
Room 051
Concurrent Algorithms and Data Structures
Group 1
11:00 - 12:00
Weeks 3,4,5,7,8
Room 114 RHB
Concurrent Algorithms and Data Structures
Group 2
11:00 - 12:00
Weeks 3,4,5,7,8
Room 441
11:00  
Object Oriented Programming
Group 2
11:00 - 12:00
Weeks 3,5,7,8
Room 114 RHB
  
Computer-Aided Formal Verification
Group 2
11:00 - 12:00
Weeks 2,3,4,5,8
Room 051
Quantum Computer Science
Group 2
11:00 - 12:00
Weeks 2-8
Room 051
11:00      
Machine Learning
Group 7
11:00 - 12:00
Weeks 2,3,5,6,8
Tony Hoare RHB
Computational Game Theory
Group 4
11:00 - 12:00
Weeks 3,4,6,8
Room 114 RHB
12:00
Models of Computation
12:00 - 13:00
Weeks 1-8
LTA
Concurrent Algorithms and Data Structures
12:00 - 13:00
Weeks 1-7
LTA
Concurrent Algorithms and Data Structures
12:00 - 13:00
Weeks 1-7
LTA
Models of Computation
12:00 - 13:00
Weeks 1-8
LTB
Concurrent Algorithms and Data Structures
12:00 - 13:00
Weeks 1-7
LTA
12:00
Quantum Computer Science
12:00 - 13:00
Weeks 1-8
LTB
    
Computer Animation
12:00 - 13:00
Weeks 1-4
LTA
  
12:00
Functional Programming
Group 2
12:00 - 13:00
Weeks 3-8
Tony Hoare RHB
Intelligent Systems
Group 2
12:00 - 13:00
Weeks 3,5,7,8
Tony Hoare RHB
  
Computer-Aided Formal Verification
Group 3
12:00 - 13:00
Weeks 2,3,4,5,8
Room 051
Automata, Logic and Games
Group 3
12:00 - 13:00
Weeks 2-7
Room 051
12:00  
Computer Animation
Group 2
12:00 - 13:00
Weeks 2,4,6,8
Room 441
  
Intelligent Systems
Group 5
12:00 - 13:00
Weeks 3,5,7,8
Room 114 RHB
Databases
Group 4
12:00 - 13:00
Weeks 3,4,6,8
Room 013 RHB
12:00      
Computer Security
Group 5
12:00 - 13:00
Weeks 3,4,6,8
Room 013 RHB
  
12:00      
Machine Learning
Group 8
12:00 - 13:00
Weeks 2,3,5,6,8
Tony Hoare RHB
  
14:00
Computer Security
14:00 - 15:00
Weeks 1,2,3,4,6,7,8
LTA
Computer Security
14:00 - 15:00
Weeks 4,6,7
LTA
Quantum Computer Science
14:00 - 15:00
Weeks 1-8
LTB
Computer-Aided Formal Verification
14:00 - 15:00
Weeks 1-8
LTA
Automata, Logic and Games
14:00 - 15:00
Weeks 1-8
LTA
14:00  
Computational Game Theory
14:00 - 15:00
Weeks 1-3
Tony Hoare Room, RHB; LTB in week 3 only
      
14:00
Intelligent Systems
Group 1
14:00 - 16:00
Weeks 2-8
T6.09
Functional Programming
Group 1
14:00 - 15:00
Week 1
T6.09
Object Oriented Programming
Group 2
14:00 - 16:00
Weeks 2,3,4,6,7,8
T6.09
Concurrent Algorithms and Data Structures
Group 2
14:00 - 16:00
Weeks 2,3,4,6,7,8
Room 379
Functional Programming
Group 3 (MSc)
14:00 - 16:00
Weeks 2-8
T6.09
14:00
Concurrent Algorithms and Data Structures
Group 1
14:00 - 16:00
Weeks 2,3,4,6,7,8
Room 379
Functional Programming
Group 1
14:00 - 16:00
Weeks 2-8
T6.09
Machine Learning
Group 2
14:00 - 16:00
Weeks 4,6,7,8
Room 379
Functional Programming
Group 2
14:00 - 16:00
Weeks 2-8
T6.09
  
14:00  
Machine Learning
Group 3
14:00 - 15:00
Weeks 2,3,5,6,8
Room 051
  
Automata, Logic and Games
Group 1
14:00 - 15:00
Weeks 2-7
Room 013 RHB
Databases
Group 1
14:00 - 15:00
Weeks 3,4,6,8
Room 013 RHB
14:00      
Computer Security
Group 3
14:00 - 15:00
Weeks 3,4,6,8
Room 441
  
15:00
Computer-Aided Formal Verification
15:00 - 16:00
Weeks 1-8
LTA
Principles of Programming Languages
15:00 - 16:00
Weeks 1-8
LTA
Quantum Computer Science
15:00 - 16:00
Weeks 1-8
LTB
Principles of Programming Languages
15:00 - 16:00
Weeks 1-8
LTA
Computer Security
15:00 - 16:00
Weeks 1,2,3,6,7,8
LTA
15:00  
Computational Game Theory
15:00 - 16:00
Weeks 1-8
Tony Hoare Room, RHB; LTB in week 3 only
      
15:00  
Functional Programming
Group 2
15:00 - 16:00
Week 1
T6.09
      
15:00  
Computer Security
Group 1
15:00 - 16:00
Weeks 3,4,6,8
Room 114 RHB
Intelligent Systems
Group 3
15:00 - 16:00
Weeks 3,5,7,8
Room 051
Automata, Logic and Games
Group 2
15:00 - 16:00
Weeks 2-7
Room 013 RHB
Databases
Group 2
15:00 - 16:00
Weeks 3,4,6,8
Room 013 RHB
15:00  
Machine Learning
Group 4
15:00 - 16:00
Weeks 2,3,5,6,8
Room 051
  
Categories, Proofs and Processes
Group 3
15:00 - 16:00
Weeks 2-8
Room 114 RHB
Categories, Proofs and Processes
Group 5
15:00 - 16:00
Weeks 2-8
Room 114 RHB
15:00      
Computer Security
Group 4
15:00 - 16:00
Weeks 3,4,6,8
Room 441
  
16:00
Foundations of Computer Science
16:00 - 17:00
Weeks 1-8
LTA
Computer Animation
16:00 - 17:00
Weeks 1,2,3,4,7,8
LTA
Automata, Logic and Games
16:00 - 17:00
Weeks 1-8
LTA
Computer Animation
16:00 - 17:00
Weeks 1,2,3,4,7,8
LTA
Foundations of Computer Science
16:00 - 17:00
Weeks 1-8
LTA
16:00
Object Oriented Programming
Group 1
16:00 - 18:00
Weeks 2,3,4,6,7,8
T6.09
Principles of Programming Languages
Group 1
16:00 - 18:00
Weeks 3,4,6,7,8
T6.09
Object Oriented Programming
Group 3
16:00 - 18:00
Weeks 2,3,4,6,7,8
T6.09
Databases
Group 1
16:00 - 18:00
Weeks 5-8
T6.09
Databases
Group 2
16:00 - 18:00
Weeks 5-8
T6.09
16:00
Probabilistic Model Checking
Group 1
16:00 - 17:00
Weeks 4,5,7,8
Room 051
Principles of Programming Languages
Group 2
16:00 - 17:00
Weeks 3,5,7,8
Room 051
Categories, Proofs and Processes
Group 1
16:00 - 17:00
Weeks 2-8
Room 114 RHB
Categories, Proofs and Processes
Group 4
16:00 - 17:00
Weeks 2-8
Room 114 RHB
Quantum Computer Science
Group 3
16:00 - 17:00
Weeks 2-8
Room 114 RHB
16:00
Principles of Programming Languages
Group 1
16:00 - 17:00
Weeks 3,5,7,8
Room 114 RHB
Computer Security
Group 2
16:00 - 17:00
Weeks 3,4,6,8
Room 114 RHB
Intelligent Systems
Group 4
16:00 - 17:00
Weeks 3,5,7,8
Room 051
    
17:00
Machine Learning
17:00 - 18:00
Weeks 1-8
L2, Mathematical Institute
Categories, Proofs and Processes
17:00 - 18:00
Weeks 1-8
LTB (Lecture Theatre B)
Machine Learning
17:00 - 18:00
Weeks 1-8
L2, Mathematical Institute
Automata, Logic and Games
17:00 - 18:00
Weeks 1-8
LTA
Categories, Proofs and Processes
17:00 - 18:00
Weeks 1-4
LTB (Lecture Theatre B)
17:00
Computational Game Theory
Group 1
17:00 - 18:00
Weeks 3,4,6,8
Room 051
Probabilistic Model Checking
Group 2
17:00 - 18:00
Weeks 4,5,7,8
Room 051
Categories, Proofs and Processes
Group 2
17:00 - 18:00
Weeks 2,5,6,7,8
Room 114 RHB
Computational Game Theory
Group 5
17:00 - 18:00
Weeks 3,4,6,8
Room 114 RHB
Databases
Group 3
17:00 - 18:00
Weeks 3,4,6,8
Room 013 RHB
17:00    
Computational Game Theory
Group 2
17:00 - 18:00
Weeks 3,4,6,8
Room 051
Intelligent Systems
Group 6
17:00 - 18:00
Weeks 3,5,7,8
Room 051