Categories, Proofs and Processes: 2026-2027
Timetables
Lecturer | |
Term | Michaelmas Term 2026 (20 lectures) |
Lectures | Michaelmas Term 2026Monday, 12:00 - 13:00 ( Weeks 1-8 ) Tony Hoare Room, RHB Wednesday, 12:00 - 13:00 ( Weeks 1-8 ) Tony Hoare Room, RHB Friday, 12:00 - 13:00 ( Weeks 1-4 ) Tony Hoare Room, RHB |