[TYPES/announce] COALGEBRAIC LOGIC in Oxford, August 10-11
ak155@mcs.le.ac.uk
ak155 at mcs.le.ac.uk
Thu Jun 28 04:27:33 EDT 2007
=================================================
Announcement of a workshop on
COALGEBRAIC LOGIC
August 10-11
Oxford University
Invited speakers:
* Marcelo Fiore (Cambridge, UK)
* Rob Goldblatt (Wellington, New Zealand)
* H.Peter Gumm (Marburg, Germany)
* Bart Jacobs (Nijmegen, The Netherlands)
* Lawrence Moss (Bloomington, US)
* Yde Venema (Amsterdam, The Netherlands)
More details, including modes of participation, can be obtained from:
* http://se10.comlab.ox.ac.uk:8080/FOCS/COQL_en.html
or by contacting the workshop organiser:
* Alexander Kurz <kurz at mcs.le.ac.uk>
This workshop will be partly adjacent to and partly interleaved with one
on CATEGORICAL QUANTUM LOGIC which takes place August 11-12 and is
organised by Bob Coecke, and both of these follow on from the conference
ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III:
* http://www.maths.ox.ac.uk/notices/events/special/tancl07/
which takes place August 5-9 and is organised by Hilary Priestley and
Mai Gehrke.
More information about the Types-announce
mailing list