MT08 Lecture Timetable

Week 1  |  Week 2  |  Week 3  |  Week 4  |  Week 5  |  Week 6  |  Week 7  |  Week 8

Monday  |  Tuesday  |  Wednesday  |  Thursday  |  Friday

9:00

Lecture:  9:00 -  10:00 Formal Program Design Lecture Theatre B

10:00

Lecture:  10:00 -  11:00 Introduction to Foundations of Computer Science Room 478

Lecture:  10:00 -  11:00 Object Oriented Programming Lecture Theatre B

11:00

Lecture:  11:00 -  12:00 Probabilistic Model Checking Lecture Theatre A

Lecture:  11:00 -  12:00 Functional Programming Lecture Theatre B

12:00

Lecture:  12:00 -  13:00 Computer-Aided Formal Verification Room 478

Lecture:  12:00 -  13:00 Computer Graphics Lecture Theatre A

14:00

Lecture:  14:00 -  15:00 Information Retrieval Lecture Theatre B

Lecture:  14:00 -  15:00 Computational Complexity Room 478

15:00

Lecture:  15:00 -  16:00 Databases Lecture Theatre B

Lecture:  15:00 -  16:00 Randomised Algorithms Room 478

16:00

Lecture:  16:00 -  17:00 Numerical Solution of Differential Equations I Lecture Theatre A