Child pages
  • 10th Wessex Theory Seminar

Versions Compared

Key

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

...

There was a light buffet lunch available from 12:30 onwards for people arriving for the seminar.


Preliminary Programme

12:30 Lunch
13:30 Martin Escardo: The ubiquitous selection monad.
14:20 Paulo Oliva: The dialectica interpretation of classical logic, arithmetic and analysis
15:00 Break
15:30 Martin Brain: An Algebra of Search Spaces

...

16:40 Peter Mosses: PLanCompS - Programming Language Components and Specifications
17:00 Closing


Abstracts

Martin Escardo: The ubiquitous selection monad.

...