SS03, Computer Laboratory


2026-04-24 14:00: Reachability Types, Traces, and Full Abstraction (Benedict Bunting (University of Cambridge))

2026-05-29 14:00: Title to be confirmed (Matteo Spadetto (University of Nottingham))