Dear All, The 10th Wessex Theory Seminar is taking place at Swansea University on 7 April 2011: http://wiki.bath.ac.uk/display/wessex/10th+Wessex+Theory+Seminar Preliminary programme: 12:30 Lunch 13:30 Martin Escardo: The Ubiquitous Selection Monad. 14:10 Paulo Oliva: The Dialectica Interpretation of Classical Logic, Arithmetic and Analysis 14:50 Break 15:30 Martin Brain: An Algebra of Search Spaces 16:10 Ondrej Rypajek: Higher Dimensional Type Theory 16:40 Peter Mosses: PLanCompS - Programming Language Components and Specifications 17:00 Closing It is still possible to attend. All welcome. With best regards, Monika -- Dr Monika Seisenberger Department of Computer Science College of Science Swansea University [For admin and other information see: http://www.mta.ca/~cat-dist/ ]