Categories, Proofs and Processes: 2026-2027

Timetables

Lecturer	Bartek Klin
Term	Michaelmas Term 2026 (20 lectures)
Classes	Michaelmas Term 2026 Group 1 - Wednesday, 10:00 - 11:00 ( Weeks 3-8 ) Strachey Room, RHB Group 2 - Wednesday, 11:00 - 12:00 ( Weeks 3-8 ) Tony Hoare Room, RHB Group 3 - Friday, 14:00 - 15:00 ( Weeks 3-8 ) Tony Hoare Room, RHB Group 4 - Friday, 15:00 - 16:00 ( Weeks 3-8 ) Tony Hoare Room, RHB
Lectures	Michaelmas Term 2026 Monday, 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