Child pages
  • 12th Wessex Theory Seminar

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0


If you can arrive early, we will be having lunch at Mucci's (inside Campus, opposite Library) from 12 o'clock.

Preliminary Programme

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
17:00 Closing


Timothy Griffin: Building Algebraic Structures with Combinators