* 10th Wessex Theory Seminar, Swansea, 7th April 2011
@ 2011-04-04 11:01 Monika Seisenberger
0 siblings, 0 replies; only message in thread
From: Monika Seisenberger @ 2011-04-04 11:01 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-04-04 11:01 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-04-04 11:01 10th Wessex Theory Seminar, Swansea, 7th April 2011 Monika Seisenberger
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).