There was a light buffet lunch available from 12:30 onwards for people arriving for the seminar.
13:30 Martin Escardo: The ubiquitous selection monad.
14:20 Paulo Oliva: The dialectica interpretation of classical logic, arithmetic and analysis
15:30 Martin Brain: An Algebra of Search Spaces
16:40 Peter Mosses: PLanCompS - Programming Language Components and Specifications
Martin Escardo: The ubiquitous selection monad.