Autumn 2012

Joint Mathematics and Computer Science 4 (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
CO499 Modal and Temporal Logic
LEC (2-10) / imh (2-10),mjs (2-10) / 144

Commemoration Day (No Lectures)
Wks (4-4) / /
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 (2-6) / afaisal (2-11) / 308

CO424 Machine Learning and Neural Computation
LEC (7-10) / afaisal (7-10) / 311
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
CO499 Modal and Temporal Logic
LEC (2-10) / imh (2-10),mjs (2-10) / 144
CO424 Machine Learning and Neural Computation
TUT (2-6) / afaisal (2-11) / 308

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

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
CO440 Software Reliability
LEC (2-10) / afd (2-10),cristic (2-10) / 144,145

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
LEC (2-10) / afaisal (2-10) / 145

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

CO424 Machine Learning and Neural Computation
LAB (2-10) / afaisal (2-10) / 202,206
1200 Meet your Tutor Week
TUT (3-3) / /

Meet your Tutor Week
TUT (9-9) / /
Applications of Computing in Industry
LEC (2-11) / amya (2-11),wjk (2-11) / 308

Meet your Tutor Week
TUT (9-9) / /

Meet your Tutor Week
TUT (3-3) / /
Commemoration Day (No Lectures)
Wks (4-4) / /

Meet your Tutor Week
TUT (9-9) / /

Meet your Tutor Week
TUT (3-3) / /
Meet your Tutor Week
TUT (9-9) / /

Meet your Tutor Week
TUT (3-3) / /
Meet your Tutor Week
TUT (9-9) / /

Meet your Tutor Week
TUT (3-3) / /
1300
Applications of Computing in Industry
LEC (2-11) / amya (2-11),wjk (2-11) / 308


Project Talk for MEng 4, JMC 4, BEng 3 and JMC 3 BSc Students
LEC (10-10) / ajf (10-10) / 308
1400 CO440 Software Reliability
LEC (2-10) / afd (2-10),cristic (2-10) / 145
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 CO440 Software Reliability
TUT (2-10) / afd (2-10),cristic (2-10) / 145

CO440 Software Reliability
LAB (2-10) / afd (2-10),cristic (2-10) / 202,206
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
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