COALGEBRAIC LOGIC in Oxford, August 10-11

COALGEBRAIC LOGIC in Oxford, August 10-11

[ak155]

=================================================
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@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.

Re: COALGEBRAIC LOGIC in Oxford, August 10-11

[Robert J. MacG. Dawson]

ak155@mcs.le.ac.uk wrote:

> 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,

	Should that read "entangled with"?

	-Robert Dawson