[TYPES/announce] Categorical Quantum Logic in Oxford, August 11-12

[Bob Coecke]

Announcement of a workshop on

   CATEGORICAL QUANTUM LOGIC

   August 11-12
   Oxford University

Invited speakers:

* Rick Blute (Ottawa, Canada)
* Marcelo Fiore (Cambridge, UK)
* John Harding (New Mexico, US)
* Chris Isham (Imperial College, UK)
* Dusko Pavlovic (Kestrel Institute, US)

More details, including other speakers, participants, and modes of
participation, can be obtained from:

* http://se10.comlab.ox.ac.uk:8080/FOCS/COQL_en.html

or by contacting the workshop organiser:

* Bob Coecke <Bob.Coecke at comlab.ox.ac.uk>

This workshop will be partly adjacent to and partly interleaved with one 
on
COALGEBRAIC LOGIC which takes place August 10-11 and is organised
by Alexander Kurz, and both of these are preceded by the conference 
ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS:

* 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, and at which:

* Samson Abramsky (Oxford, UK)

will be giving an invited address on his work in the area of categorical
quantum logic.