[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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@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.