[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=================================================
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 <[EMAIL PROTECTED]>
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.
