Autumn 2012

MRes in Advanced Computing (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
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
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
Commemoration Day (No Lectures)
Wks (4-4) / /

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
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
CO480 Automated Reasoning
TUT (2-10) / kb (2-10) / 145
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
Applications of Computing in Industry
LEC (2-11) / amya (2-11),wjk (2-11) / 308

CO395 Machine Learning
LAB (2-10) / maja (2-10),shm (2-10) / 219
CO395 Machine Learning
LAB (2-10) / maja (2-10),shm (2-10) / 219

Commemoration Day (No Lectures)
Wks (4-4) / /
CO531 Prolog
LAB (2-11) / tk106 (2-11) / 202,206
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
CO330 Network Security
LEC (2-10) / ecl1 (2-10),mrh (2-10) / 311

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

CO477 Computing for Optimal Decisions
LEC (2-10) / pp500 (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
CO418 Computer Vision
TUT (2-10) / gzy (2-10) / 308

CO330 Network Security
TUT (2-10) / ecl1 (2-10),mrh (2-10) / 344

CO481 Models of Concurrent Computation
LEC (2-10) / pg (2-10),yoshida (2-10) / 308

CO320 Complex Systems
LEC (2-10) / ae (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
CO418 Computer Vision
LEC (2-10) / gzy (2-10) / 308

CO421 Computational Neurodynamics
LEC (2-10) / mpsha (2-10) / 145
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
CO421 Computational Neurodynamics
LEC (2-10) / mpsha (2-10) / 145

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