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