Lecture Practical Class

Timetable for Michaelmas Term 2020
  Monday Tuesday Wednesday Thursday Friday
9:00  
Compilers
9:00 - 10:00
Weeks 1-8
Live lecture via Teams
  
Compilers
9:00 - 10:00
Weeks 1-8
Live lecture via Teams
  
9:00
Machine Learning
Group 1
9:00 - 11:00
Weeks 4,6,7,8
via MS Teams
Concurrent Algorithms and Data Structures
Group 1
9:00 - 11:00
Weeks 2,3,4,6,7,8
via MS Teams
Geometric Modelling
Group 1
9:00 - 11:00
Weeks 2,4,6,8
via MS Teams
Computer Security
Group 2
9:00 - 11:00
Weeks 2,4,6,7
via MS Teams
Compilers
Group 1
9:00 - 10:00
Weeks 4,5,6,7
via MS Teams
9:00        
Probabilistic Model Checking
Group 1
9:00 - 11:00
Weeks 3,4,6,8
Teams
9:00      
Principles of Programming Languages
Group 3
9:30 - 10:30
Weeks 3,5,7,8
Online
  
10:00        
Categories, Proofs and Processes
Discussion
10:00 - 11:00
Week 0
Online
10:00
Computer-Aided Formal Verification
Group 1
10:00 - 11:00
Weeks 3,4,6,8
Online
Computer Security
Group 6
10:00 - 11:00
Weeks 4,5,7,8
Online
Foundations of Computer Science
Group 1
10:00 - 11:30
Weeks 3,5,7,8
Online
Quantum Processes and Computation
Group 3
10:00 - 11:30
Weeks 3,5,7,8
Online
Machine Learning
Group 10
10:00 - 11:00
Weeks 3,5,6,8
Online
10:00  
Databases
Group 1
10:00 - 11:30
Weeks 3,4,6,8
Online
Quantum Processes and Computation
Group 7
10:00 - 11:30
Weeks 3,5,7,8
Online
    
10:00  
Bayesian Statistical Probabilistic Programming
Group 2
10:00 - 11:30
Weeks 3,5,7,9
Online
      
11:00
Ethics and Responsible Innovation
11:00 - 12:00
Weeks 4,5,7,8
Live lecture
Law and Computer Science
11:00 - 12:00
Weeks 2-8
via Zoom
Linear Algebra
Discussion
11:00 - 12:00
Weeks 1-8
Live lecture via Teams
Discrete Mathematics
Discussion
11:00 - 12:00
Weeks 1-8
Live
Quantum Processes and Computation
11:00 - 12:00
Weeks 1-8
Live lecture via Teams
11:00
Quantum Processes and Computation
11:00 - 12:00
Weeks 1-8
Live lecture via Teams
Quantum Processes and Computation
11:00 - 12:00
Weeks 1-8
Live lecture via Teams
    
Functional Programming
Discussion
11:00 - 12:00
Weeks 1-8
Live
11:00
Computer Security
Group 1
11:00 - 13:00
Weeks 2,4,6,7
via MS Teams
Principles of Programming Languages
Group 1
11:00 - 13:00
Weeks 4,6,7,8
via MS Teams
  
Principles of Programming Languages
Group 2
11:00 - 13:00
Weeks 4,6,7,8
Online
Probabilistic Model Checking
Group 2
11:00 - 13:00
Weeks 3,4,6,8
Online - Teams
11:00      
Databases
Group 3
11:00 - 13:00
Weeks 5,6,7,8
via MS Teams
Machine Learning
Group 3
11:00 - 13:00
Weeks 4,6,7,8
via MS Teams
11:00
Machine Learning
Group 1
11:00 - 12:00
Weeks 3,5,6,8
Online
Computer Security
Group 2
11:00 - 12:00
Weeks 4,5,7,8
Room 051
Databases
Group 2
11:00 - 12:00
Weeks 3,4,6,8
Online
Geometric Modelling
Group 2
11:00 - 12:30
Weeks 5,6,7,8
Online
Probabilistic Model Checking
Group 4
11:00 - 12:00
Weeks 4,5,7,8
Online
11:00  
Machine Learning
Group 3
11:00 - 12:00
Weeks 3,5,6,8
Online
Categories, Proofs and Processes
Group 3
11:00 - 12:00
Weeks 3,4,6,8
Online
Bayesian Statistical Probabilistic Programming
Group 4
11:00 - 12:30
Weeks 3,5,7,9
Online - Teams
  
11:00    
Machine Learning
Group 6
11:00 - 12:00
Weeks 3,5,6,8
Online
    
12:00  
Law and Computer Science
12:00 - 13:00
Weeks 2-8
via Zoom
Computer Security
12:00 - 13:00
Weeks 1-7
Live lecture via Teams
    
12:00  
Computer Security
12:00 - 13:00
Weeks 1-7
Live lecture via Teams
      
12:00  
Law and Computer Science
12:00 - 14:00
Week 1
via Zoom
      
12:00
Machine Learning
Group 2
12:00 - 13:00
Weeks 3,5,6,8
Online
Quantum Processes and Computation
Group 2
12:00 - 13:30
Weeks 3,5,7,8
Online
Categories, Proofs and Processes
Group 4
12:00 - 13:00
Weeks 3,4,6,8
Online
Automata, Logic and Games
Group 4
12:00 - 13:30
Weeks 3,5,7,8
Online
Quantum Processes and Computation
Group 4
12:00 - 13:30
Weeks 3,5,7,8
Online
12:00
Quantum Processes and Computation
Group 1
12:00 - 13:30
Weeks 3,5,7,8
Online
  
Machine Learning
Group 7
12:00 - 13:00
Weeks 3,5,6,8
Online
Probabilistic Model Checking
Group 2
12:30 - 13:30
Weeks 4,5,7,8
Online
  
12:00
Bayesian Statistical Probabilistic Programming
Group 1
12:00 - 13:30
Weeks 3,5,7,9
Online
        
13:00
Principles of Programming Languages
Group 4
13:00 - 14:00
Weeks 3,5,7,8
Online - Teams
  
Computer-Aided Formal Verification
Group 2
13:00 - 14:00
Weeks 3,4,6,8
Online
    
13:00    
Databases
Group 5
13:00 - 14:00
Weeks 3,4,6,8
Online
    
14:00
Automata, Logic and Games
14:00 - 15:00
Weeks 1-8
Live lecture via Teams
Computer Security
14:00 - 15:00
Weeks 1-2
Live lecture via Teams
Automata, Logic and Games
14:00 - 15:00
Weeks 1-8
Live lecture via Teams
Automata, Logic and Games
14:00 - 15:00
Weeks 1-8
Live lecture via Teams
  
14:00    
Foundations of Computer Science
Q&A with Lecture live
14:00 - 15:00
Weeks 1-8
   
14:00
Databases
Group 1
14:00 - 16:00
Weeks 5,6,7,8
via MS Teams
Functional Programming
Group 1
14:00 - 16:00
Weeks 2,4,6
Room 379
Functional Programming
Group 2
14:00 - 16:00
Weeks 2,4,6
Room 379
Functional Programming
Grloup 7 - Functional Programming
14:00 - 16:00
Weeks 3,5,7
Room 379
Functional Programming
Group 4
14:00 - 16:00
Weeks 2,4,6
Room 379
14:00  
Functional Programming
Group 5
14:00 - 16:00
Weeks 3,5,7
Room 379
Functional Programming
Group 6
14:00 - 16:00
Weeks 3,5,7
Online
Functional Programming
Group 3
14:00 - 16:00
Weeks 2,4,6
Room 379
Functional Programming
Group 8
14:00 - 16:00
Weeks 3,5,7
Room 379
14:00      
Computer Security
Group 3
14:00 - 16:00
Weeks 2,4,6,7
via MS Teams
  
14:00
Categories, Proofs and Processes
Group 1
14:00 - 15:00
Weeks 3,4,6,8
Online
Principles of Programming Languages
Group 1
14:00 - 15:00
Weeks 3,5,7,8
Online
Concurrent Algorithms and Data Structures
Group 3
14:00 - 15:00
Weeks 3,5,7,8
Online
Categories, Proofs and Processes
Group 5
14:00 - 15:00
Weeks 3,4,6,8
Online
Computer Security
Group 4
14:00 - 15:00
Weeks 3,4,6,8
Online - Teams
14:00
Computer Security
Group 1
14:00 - 15:00
Weeks 4,5,7,8
Online
Computer-Aided Formal Verification
Group 3
14:00 - 15:00
Weeks 3,4,6,8
Online
Databases
Group 3
14:00 - 15:30
Weeks 3,4,6,8
Online
Machine Learning
Group 8
14:00 - 15:00
Weeks 3,5,6,8
Online
Quantum Processes and Computation
Group 5
14:00 - 15:30
Weeks 3,5,7,8
Online
14:00
Geometric Modelling
Group 1
14:00 - 15:00
Weeks 5,6,7,8
Online
Machine Learning
Group 4
14:00 - 15:00
Weeks 3,5,6,8
Online
      
14:00  
Foundations of Computer Science
Group 2
14:00 - 15:30
Weeks 3,5,7,8
Teams
      
15:00
Probabilistic Model Checking
Group 1
15:00 - 16:00
Weeks 4,5,7,8
Online
  
Concurrent Algorithms and Data Structures
Group 1
15:00 - 16:00
Weeks 3,5,7,8
Online
Machine Learning
Group 9
15:00 - 16:00
Weeks 3,5,6,8
Online
Databases
Group 4
15:00 - 16:30
Weeks 3,4,6,8
Online
15:00    
Probabilistic Model Checking
Group 3
15:00 - 16:00
Weeks 4,5,7,8
Online
Automata, Logic and Games
Group 1
15:00 - 16:30
Weeks 3,5,7,8
Online - Teams
Quantum Processes and Computation
Group 6
15:00 - 16:30
Weeks 3,6,7,8
Online
15:00    
Computer Security
Group 3
15:00 - 16:00
Weeks 3,4,6,8
Online - Teams
    
15:00    
Bayesian Statistical Probabilistic Programming
Group 3
15:00 - 16:30
Weeks 3,5,7,9
Online
    
16:00  
Machine Learning
Group 2
16:00 - 18:00
Weeks 4,6,7,8
via MS Teams
  
Compilers
Group 2
16:00 - 18:00
Weeks 4,5,6,7
via MS Teams
Databases
Group 2
16:00 - 18:00
Weeks 5,6,7,8
via MS Teams
16:00
Categories, Proofs and Processes
Group 2
16:00 - 17:00
Weeks 3,4,6,8
Online
Categories, Proofs and Processes
Group 6
16:00 - 17:00
Weeks 3,4,6,8
Online
Concurrent Algorithms and Data Structures
Group 2
16:00 - 17:00
Weeks 3,5,7,8
Online
Automata, Logic and Games
Group 2
16:00 - 17:30
Weeks 3,5,7,8
Online
Machine Learning
Group 11
16:00 - 17:00
Weeks 3,5,6,8
Online
16:00
Principles of Programming Languages
Group 2
16:00 - 17:00
Weeks 3,5,7,8
Online
Quantum Processes and Computation
Group 8
16:00 - 17:30
Weeks 3,5,7,8
Online
    
Automata, Logic and Games
Group 3
16:00 - 17:30
Weeks 3,5,7,8
Onlne
16:00
Computer Security
Group 5
16:00 - 17:00
Weeks 4,5,7,8
Online
        
16:00
Functional Programming
MSc only
16:00 - 17:00
Weeks 3-8
Online