Computer-Aided Formal Verification: 2026-2027
Timetables
Lecturer | |
Term | Michaelmas Term 2026 (16 lectures) |
Classes | Michaelmas Term 2026Group 1 - Thursday, 10:00 - 11:00 ( Weeks 3-8 ) Strachey Room, RHB Group 2 - Thursday, 12:00 - 13:00 ( Weeks 3-8 ) Strachey Room, RHB Group 3 - Thursday, 14:00 - 15:00 ( Weeks 3-8 ) Strachey Room, RHB Group 4 - Thursday, 15:00 - 16:00 ( Weeks 3-8 ) Strachey Room, RHB |
Lectures | Michaelmas Term 2026Wednesday, 11:00 - 12:00 ( Weeks 1-8 ) The Bill Roscoe Lecture Theatre Thursday, 11:00 - 12:00 ( Weeks 1-8 ) The Bill Roscoe Lecture Theatre |