From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3802 Path: news.gmane.org!not-for-mail From: Bob Coecke Newsgroups: gmane.science.mathematics.categories Subject: Categorical Quantum Logic in Oxford, August 11-12 Date: Wed, 27 Jun 2007 18:54:00 +0100 (BST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1241019532 10359 80.91.229.2 (29 Apr 2009 15:38:52 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:38:52 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Jun 27 19:57:53 2007 -0300 X-Keywords: Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 27 Jun 2007 19:57:53 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1I3gNm-0004R1-Fy for categories-list@mta.ca; Wed, 27 Jun 2007 19:53:06 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk Original-Lines: 42 Xref: news.gmane.org gmane.science.mathematics.categories:3802 Archived-At: 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 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.