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

[Bob Coecke]

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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.