| 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 |
Operations Research LEC (2-10) / dkuhn (2-10),wwiesma (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 Operations Research TUT (2-10) / dkuhn (2-10),wwiesma (2-10) / 311 |
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 |
Distributed Systems LEC (2-10) / mss (2-10) / 308 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 Simulation & Modelling LEC (2-10) / ajf (2-10),jb (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 |
Network Security LEC (2-10) / ecl1 (2-10),mrh (2-10) / 311 Advanced Graphics and Visualisation LEC (2-10) / dr (2-10),eedwards (2-10) / 144 |
Automated Reasoning TUT (2-10) / kb (2-10) / 145 Distributed Systems LEC (2-10) / mss (2-10) / 308 |
| 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 Software Engineering Practice LEC (2-10) / cristic (2-10) / 311 |
| 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 Operations Research LEC (2-10) / dkuhn (2-10),wwiesma (2-10) / 311 |
Advanced Graphics and Visualisation TUT (2-10) / dr (2-10),eedwards (2-10) / 144 Network Security LEC (2-10) / ecl1 (2-10),mrh (2-10) / 311 |
|
Modal and Temporal Logic LEC (2-10) / dirk (2-10),imh (2-10) / 145 Advanced Databases LEC (2-10) / pjm (2-10) / 308 |
Distributed Systems TUT (2-10) / mss (2-10) / 341,342,343 Automated Reasoning LEC (2-10) / kb (2-10) / 311 |
| 1500 |
Computing for Optimal Decisions LEC (2-10) / br (2-10) / 145 |
Advanced Graphics and Visualisation LEC (2-10) / dr (2-10),eedwards (2-10) / 144 Network Security TUT (2-10) / ecl1 (2-10),mrh (2-10) / 311 |
|
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 Ontologies and the Semantic Web LEC (2-10) / dirk (2-10) / 308 |
| 1600 |
Software Engineering Practice LEC (2-10) / cristic (2-10) / 144 Computing for Optimal Decisions TUT (2-10) / br (2-10) / 145 |
Advanced Issues in Object Oriented Programming LEC (2-10) / scd (2-10) / 311 Simulation & Modelling LEC (2-10) / ajf (2-10),jb (2-10) / 145 |
|
Complex Systems TUT (2-10) / ae (2-10) / 343 Computer Vision TUT (2-10) / gzy (2-10) / 145 |
Machine Learning and Neural Computation TUT (2-10) / afaisal (2-10) / 145 Ontologies and the Semantic Web TUT (2-10) / dirk (2-10) / 308 |
| 1700 |
Software Engineering Practice TUT (2-10) / cristic (2-10) / 144 Computing for Optimal Decisions LEC (2-10) / br (2-10) / 145 |
Simulation & Modelling TUT (2-10) / ajf (2-10),jb (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 Ontologies and the Semantic Web LEC (2-10) / dirk (2-10) / 308 |