If you can arrive early, we will be having lunch at Mucci's (inside Campus, opposite Library) from 12 o'clock.
12:00 Lunch (at Mucci's)
13:00 Coffee (Computer Science 3rd floor, The Hub)
13:30 Timothy Griffin (Cambridge): Building Algebraic Structures with Combinators.
14:15 Martin Escardo (Birmingham): A Proof of Omniscience in Agda
15:00 Coffee Break
15:30 Florent Balestieri (Nottingham): Partial Polymorphic Stream Functions
16:15 Peter O'Hearn (QMUL): Locality, Exchange and Processes
Timothy Griffin: Building Algebraic Structures with Combinators