| Time | Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|---|
| 0900 |
|
Operations Research LEC (2-10) / dkuhn (2-10),wwiesma (2-10) / 311 |
Type Systems for Programming Languages LEC (2-10) / svb (2-10) / 343 |
Modal and Temporal Logic LEC (2-10) / dirk (2-10),imh (2-10) / 145 |
|
| 1000 |
|
Operations Research TUT (2-10) / dkuhn (2-10),wwiesma (2-10) / 311 |
Type Systems for Programming Languages TUT (2-10) / svb (2-10) / 343 |
Modal and Temporal Logic TUT (2-10) / dirk (2-10),imh (2-10) / 145 |
Distributed Systems LEC (2-10) / mss (2-10) / 308 |
| 1100 |
Complex Systems LEC (2-10) / ae (2-10) / 145 |
Simulation & Modelling LEC (2-10) / ajf (2-10),jb (2-10) / 145 |
Type Systems for Programming Languages LEC (2-10) / svb (2-10) / 343 |
Network Security LEC (2-10) / ecl1 (2-10),mrh (2-10) / 311 |
Distributed Systems LEC (2-10) / mss (2-10) / 308 |
| 1200 |
Meet your Tutor Week TUT (9-9) / / Meet your Tutor Week TUT (3-3) / / |
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) / / |
Meet your Tutor Week TUT (9-9) / / Meet your Tutor Week TUT (3-3) / / |
Meet your Tutor Week TUT (3-3) / / Meet your Tutor Week TUT (9-9) / / |
| 1300 |
|
Applications of Computing in Industry LEC (2-11) / amya (2-11),wjk (2-11) / 308 |
|
|
|
| 1400 |
Operations Research LEC (2-10) / dkuhn (2-10),wwiesma (2-10) / 311 |
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 |
Distributed Systems TUT (2-10) / mss (2-10) / 341,342,343 |
| 1500 |
Software Engineering - Methods LEC (2-10) / rbc (2-10) / 308 |
Network Security TUT (2-10) / ecl1 (2-10),mrh (2-10) / 311 |
|
Complex Systems LEC (2-10) / ae (2-10) / 343 |
Ontologies and the Semantic Web LEC (2-10) / dirk (2-10) / 308 |
| 1600 |
Software Engineering - Methods TUT (2-10) / rbc (2-10) / 341,342,343 |
Simulation & Modelling LEC (2-10) / ajf (2-10),jb (2-10) / 145 |
|
Complex Systems TUT (2-10) / ae (2-10) / 343 |
Ontologies and the Semantic Web TUT (2-10) / dirk (2-10) / 308 |
| 1700 |
Software Engineering - Methods LEC (2-10) / rbc (2-10) / 311 |
Simulation & Modelling TUT (2-10) / ajf (2-10),jb (2-10) / 145 |
|
|
Ontologies and the Semantic Web LEC (2-10) / dirk (2-10) / 308 |