[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