Lecture Practical Class

Timetable for Hilary Term 2012 - 051
  Monday Tuesday Wednesday Thursday Friday
10:00
Geometric Modelling
10:00 - 11:00
Weeks 3,8
051
        
10:00  
Geometric Modelling
Group 1
10:00 - 11:00
Week 3
051
      
11:00
Introduction to Specification
11:00 - 12:00
Weeks 3,8
051
Program Analysis
11:00 - 12:00
Week 7
051
      
11:00        
Automata, Logic and Games
Group 2
11:00 - 12:00
Weeks 2-8
051
12:00  
Program Analysis
12:00 - 13:00
Week 7
051
      
12:00      
Compilers
Group 2
12:00 - 13:00
Weeks 3,5,7,8
051
  
14:00
Information Retrieval
Group 2
14:00 - 15:00
Weeks 3,5,7,8
051
        
15:00
Requirements
15:00 - 16:00
Week 3
051
        
15:00
Software Verification
Group 1
15:00 - 16:00
Weeks 4,6,7
051
Database Systems Implementation
Group 2
15:00 - 16:00
Weeks 3,5,7,8
051
      
16:00      
Knowledge Representation & Reasoning
Group 1
16:00 - 17:00
Week 8
051
  
17:00
Database Systems Implementation
Group 1
17:00 - 18:00
Weeks 3,5,7,8
051
    
Knowledge Representation & Reasoning
Group 2
17:00 - 18:00
Week 8
051