[TYPES/announce] Coalgebraic and Categorical Quantum Logic in Oxford

[Bob Coecke]

The programs for:

* COALGEBRAIC LOGIC, August 10-11, Oxford, UK
* CATEGORICAL QUANTUM LOGIC, August 11-12, Oxford, UK

are now available at:

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

Sincerely, Bob Coecke.