Autumn 2012

MSc Computing (Specialism) (Weeks 2 - 11)

Week 2 start date: Monday 8 October, 2012

Date Published: 7 December 2012

Time Monday Tuesday Wednesday Thursday Friday
0900 CO475 Software Engineering for Industry
LEC (2-10) / rbc (2-10) / 308
CO335 Distributed Systems
LEC (2-10) / mss (2-10),yg (2-10) / 311

CO480 Automated Reasoning
LEC (2-10) / kb (2-10) / 145
Commemoration Day (No Lectures)
Wks (4-4) / /

CO312 Advanced Databases
LEC (2-10) / pjm (2-10) / 311

CO499 Modal and Temporal Logic
LEC (2-10) / imh (2-10),mjs (2-10) / 144
CO343 Operations Research
LEC (2-10) / dkuhn (2-10) / 144

CO471 Advanced Issues in Object Oriented Programming
LEC (2-10) / scd (2-10) / 145
CO382 Type Systems for Programming Languages
LEC (2-10) / svb (2-10) / 144

CO424 Machine Learning and Neural Computation
LEC (7-10) / afaisal (7-10) / 311

CO424 Machine Learning and Neural Computation
LEC (2-6) / afaisal (2-11) / 308
1000 CO475 Software Engineering for Industry
LAB (2-10) / rbc (2-10) / 202,206
CO480 Automated Reasoning
LEC (2-10) / kb (2-10) / 145

CO335 Distributed Systems
LEC (2-10) / mss (2-10),yg (2-10) / 311
Commemoration Day (No Lectures)
Wks (4-4) / /

CO312 Advanced Databases
LEC (2-10) / pjm (2-10) / 311

CO499 Modal and Temporal Logic
TUT (2-10) / imh (2-10),mjs (2-10) / 144
CO312 Advanced Databases
LEC (2-10) / pjm (2-10) / 311

CO499 Modal and Temporal Logic
LEC (2-10) / imh (2-10),mjs (2-10) / 144
CO424 Machine Learning and Neural Computation
TUT (7-10) / afaisal (7-10) / 311

CO424 Machine Learning and Neural Computation
TUT (2-6) / afaisal (2-11) / 308

CO424 Machine Learning and Neural Computation
LAB (2-10) / afaisal (2-10) / 202,206

CO382 Type Systems for Programming Languages
TUT (2-10) / svb (2-10) / 144
1100 CO475 Software Engineering for Industry
LAB (2-10) / rbc (2-10) / 202,206
CO335 Distributed Systems
TUT (2-10) / mss (2-10),yg (2-10) / 311

CO480 Automated Reasoning
TUT (2-10) / kb (2-10) / 145

CO335 Distributed Systems
LAB (2-10) / mss (2-10),yg (2-10) / 202,206
CO395 Machine Learning
LAB (2-10) / maja (2-10),shm (2-10) / 219

Commemoration Day (No Lectures)
Wks (4-4) / /
CO330 Network Security
LEC (2-10) / ecl1 (2-10),mrh (2-10) / 311
CO424 Machine Learning and Neural Computation
LAB (2-10) / afaisal (2-10) / 202,206

CO382 Type Systems for Programming Languages
LEC (2-10) / svb (2-10) / 144

CO424 Machine Learning and Neural Computation
LEC (2-10) / afaisal (2-10) / 145
1200 CO531 Prolog
LEC (2-11) / tk106 (2-11) / 311
CO395 Machine Learning
LAB (2-10) / maja (2-10),shm (2-10) / 219

Applications of Computing in Industry
LEC (2-11) / amya (2-11),wjk (2-11) / 308
Commemoration Day (No Lectures)
Wks (4-4) / /

CO395 Machine Learning
LAB (2-10) / maja (2-10),shm (2-10) / 219
CO531 Prolog
LAB (2-11) / tk106 (2-11) / 202,206

Group Project Introduction
LEC (7-7) / r.rowe (7-7) / 311
CO531 Prolog
LAB (2-11) / tk106 (2-11) / 202,206
1300
Applications of Computing in Industry
LEC (2-11) / amya (2-11),wjk (2-11) / 308



1400 CO395 Machine Learning
LEC (2-10) / maja (2-10),shm (2-10) / 311
CO418 Computer Vision
LEC (2-10) / gzy (2-10) / 308

CO330 Network Security
LEC (2-10) / ecl1 (2-10),mrh (2-10) / 311

CO477 Computing for Optimal Decisions
LEC (2-10) / pp500 (2-10) / 145
CO343 Operations Research
LEC (2-10) / dkuhn (2-10) / 145

CO471 Advanced Issues in Object Oriented Programming
LEC (2-10) / scd (2-10) / 144
1500 CO395 Machine Learning
LEC (2-10) / maja (2-10),shm (2-10) / 311
CO330 Network Security
TUT (2-10) / ecl1 (2-10),mrh (2-10) / 344

CO418 Computer Vision
TUT (2-10) / gzy (2-10) / 308

CO320 Complex Systems
LEC (2-10) / ae (2-10) / 145

CO481 Models of Concurrent Computation
LEC (2-10) / pg (2-10),yoshida (2-10) / 308
CO343 Operations Research
TUT (2-10) / dkuhn (2-10) / 145

CO471 Advanced Issues in Object Oriented Programming
TUT (2-10) / scd (2-10) / 144
1600 CO477 Computing for Optimal Decisions
LEC (2-10) / pp500 (2-10) / 145

CO302 Software Engineering Practice
LEC (2-10) / rbc (2-10) / 308
CO418 Computer Vision
LEC (2-10) / gzy (2-10) / 308

CO421 Computational Neurodynamics
LEC (2-10) / mpsha (2-10) / 145

CO337 Simulation & Modelling
LEC (2-10) / ajf (2-10),jb (2-10) / 144
CO320 Complex Systems
LEC (2-10) / ae (2-10) / 145

CO481 Models of Concurrent Computation
LEC (2-10) / pg (2-10),yoshida (2-10) / 311
1700 CO477 Computing for Optimal Decisions
TUT (2-10) / pp500 (2-10) / 145

CO302 Software Engineering Practice
TUT (2-10) / rbc (2-10) / 308
CO337 Simulation & Modelling
LEC (2-10) / ajf (2-10),jb (2-10) / 308

CO421 Computational Neurodynamics
LEC (2-10) / mpsha (2-10) / 145

CO337 Simulation & Modelling
TUT (2-10) / ajf (2-10),jb (2-10) / 144

CO421 Computational Neurodynamics
LAB (2-10) / mpsha (2-10) / 219
CO320 Complex Systems
TUT (2-10) / ae (2-10) / 145

CO481 Models of Concurrent Computation
TUT (2-10) / pg (2-10),yoshida (2-10) / 311