| Time | Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|---|
| 0900 |
Advanced Topics in Software Engineering LEC (2-10) / np2 (2-10),rbc (2-10),susan (2-10) / 311 |
Models of Concurrent Computation LEC (2-10) / pg (2-10),yoshida (2-10) / 145 |
Type Systems for Programming Languages LEC (2-10) / svb (2-10) / 343 Intelligent Data and Probabilistic Inference LEC (2-10) / dfg (2-10) / 145 |
Advanced Databases LEC (2-10) / pjm (2-10) / 308 Modal and Temporal Logic LEC (2-10) / dirk (2-10),imh (2-10) / 145 |
|
| 1000 |
Advanced Topics in Software Engineering TUT (2-10) / np2 (2-10),rbc (2-10),susan (2-10) / 341,342,343 |
Models of Concurrent Computation TUT (2-10) / pg (2-10),yoshida (2-10) / 145 |
Type Systems for Programming Languages TUT (2-10) / svb (2-10) / 343 Intelligent Data and Probabilistic Inference TUT (2-10) / dfg (2-10) / 145 |
Advanced Databases LEC (2-10) / pjm (2-10) / 308 Modal and Temporal Logic TUT (2-10) / dirk (2-10),imh (2-10) / 145 |
Automated Reasoning LEC (2-10) / kb (2-10) / 145 |
| 1100 |
Advanced Topics in Software Engineering LEC (2-10) / np2 (2-10),rbc (2-10),susan (2-10) / 311 Complex Systems LEC (2-10) / ae (2-10) / 145 |
Advanced Issues in Object Oriented Programming LEC (2-10) / scd (2-10) / 144 |
Intelligent Data and Probabilistic Inference LEC (2-10) / dfg (2-10) / 145 Type Systems for Programming Languages LEC (2-10) / svb (2-10) / 343 |
Advanced Graphics and Visualisation LEC (2-10) / dr (2-10),eedwards (2-10) / 144 Network Security LEC (2-10) / ecl1 (2-10),mrh (2-10) / 311 |
Automated Reasoning TUT (2-10) / kb (2-10) / 145 |
| 1200 |
Prolog LEC (2-10) / mjs (2-10) / 311 |
Applications of Computing in Industry LEC (2-11) / amya (2-11),wjk (2-11) / 308 |
|
Prolog LAB (2-10) / mjs (2-10) / 202,206 |
Prolog LAB (2-10) / mjs (2-10) / 202,206 |
| 1300 |
|
Applications of Computing in Industry LEC (2-11) / amya (2-11),wjk (2-11) / 308 |
|
|
|
| 1400 |
Models of Concurrent Computation LEC (2-10) / pg (2-10),yoshida (2-10) / 145 |
Network Security LEC (2-10) / ecl1 (2-10),mrh (2-10) / 311 Advanced Graphics and Visualisation TUT (2-10) / dr (2-10),eedwards (2-10) / 144 |
|
Advanced Databases LEC (2-10) / pjm (2-10) / 308 Modal and Temporal Logic LEC (2-10) / dirk (2-10),imh (2-10) / 145 |
Automated Reasoning LEC (2-10) / kb (2-10) / 311 |
| 1500 |
Computing for Optimal Decisions LEC (2-10) / br (2-10) / 145 |
Network Security TUT (2-10) / ecl1 (2-10),mrh (2-10) / 311 Advanced Graphics and Visualisation LEC (2-10) / dr (2-10),eedwards (2-10) / 144 |
|
Complex Systems LEC (2-10) / ae (2-10) / 343 Computer Vision LEC (2-10) / gzy (2-10) / 145 |
Machine Learning and Neural Computation LEC (2-10) / afaisal (2-10) / 145 |
| 1600 |
Computing for Optimal Decisions TUT (2-10) / br (2-10) / 145 |
Advanced Issues in Object Oriented Programming LEC (2-10) / scd (2-10) / 311 |
|
Computer Vision TUT (2-10) / gzy (2-10) / 145 Complex Systems TUT (2-10) / ae (2-10) / 343 |
Machine Learning and Neural Computation TUT (2-10) / afaisal (2-10) / 145 |
| 1700 |
Computing for Optimal Decisions LEC (2-10) / br (2-10) / 145 |
Advanced Issues in Object Oriented Programming TUT (2-10) / scd (2-10) / 311 |
|
Computer Vision LEC (2-10) / gzy (2-10) / 145 |
Machine Learning and Neural Computation LEC (2-10) / afaisal (2-10) / 145 |