Autumn 2012

Room 144 (Weeks 2 - 11)

Week 2 start date: Monday 8 October, 2012

Date Published: 7 December 2012

Time Monday Tuesday Wednesday Thursday Friday
0900
CO516 Introduction to C++ Programming
LEC (1-2) / wjk (1-2) / v5
CO499 Modal and Temporal Logic
LEC (2-10) / imh (2-10),mjs (2-10) / a5,c4,j4,mres5,s5
CO343 Operations Research
LEC (2-10) / dkuhn (2-10) / c3,i3,j3,s5
CO382 Type Systems for Programming Languages
LEC (2-10) / svb (2-10) / a5,c3,j3,j4,mres5,s5
1000

CO499 Modal and Temporal Logic
TUT (2-10) / imh (2-10),mjs (2-10) / a5,c4,j4,mres5,s5
CO499 Modal and Temporal Logic
LEC (2-10) / imh (2-10),mjs (2-10) / a5,c4,j4,mres5,s5
CO382 Type Systems for Programming Languages
TUT (2-10) / svb (2-10) / a5,c3,j3,j4,mres5,s5
1100
CO517 Object Oriented Design Programming
LEC (3-11) / r.rowe (3-11),wjk (3-11) / v5
CO440 Software Reliability
LEC (2-10) / afd (2-10),cristic (2-10) / c4,j4

CO382 Type Systems for Programming Languages
LEC (2-10) / svb (2-10) / a5,c3,j3,j4,mres5,s5
1200




1300




1400 CO515 Computer Systems
LEC (3-11) / svb (3-11) / v5
CO516 Introduction to C++ Programming
LEC (2-2) / wjk (2-2) / v5

CO518 Logic & AI Programming
LEC (3-11) / fs (3-11) / v5

CO518 Logic & AI Programming
LEC (3-11) / fs (3-11) / v5
CO471 Advanced Issues in Object Oriented Programming
LEC (2-10) / scd (2-10) / a5,c4,j4,mres5,s5
1500 CO515 Computer Systems
TUT (3-11) / svb (3-11) / v5
CO516 Introduction to C++ Programming
LEC (2-2) / wjk (2-2) / v5

CO518 Logic & AI Programming
TUT (3-11) / fs (3-11) / v5

CO515 Computer Systems
LEC (7-7) / svb (7-7) / v5

CO516 Introduction to C++ Programming
TUT (2-2) / wjk (2-2) / v5
CO471 Advanced Issues in Object Oriented Programming
TUT (2-10) / scd (2-10) / a5,c4,j4,mres5,s5
1600


CO337 Simulation & Modelling
LEC (2-10) / ajf (2-10),jb (2-10) / c3,i3,j3,s5
CO516 Introduction to C++ Programming
LEC (2-2) / wjk (2-2) / v5
1700


CO337 Simulation & Modelling
TUT (2-10) / ajf (2-10),jb (2-10) / c3,i3,j3,s5