From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4476 Path: news.gmane.org!not-for-mail From: Bob Coecke Newsgroups: gmane.science.mathematics.categories Subject: Program of Categories, Logic and Foundations of Physics, August 23-24, Oxford Date: Wed, 13 Aug 2008 22:13: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 1241019970 13480 80.91.229.2 (29 Apr 2009 15:46:10 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:46:10 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Aug 13 20:03:09 2008 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Wed, 13 Aug 2008 20:03:09 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1KTPMk-0000Ku-4t for categories-list@mta.ca; Wed, 13 Aug 2008 20:02:54 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 11 Original-Lines: 61 Xref: news.gmane.org gmane.science.mathematics.categories:4476 Archived-At: The program of the next workshop on Categories, Logic and Foundations of Physics, which will take place at Oxford University, August 23-24, is now available: SATURDAY ---------------- 11:00 - 12:30 TUTORIAL I: QUANTUM FORMALISM (B. Coecke) Von Neumann axioms, Dirac calc., mixed operations, Gleason's and Wigner's thm. 12:30 - 14:00 LUNCH 14:00 - 15:30 TUTORIAL II: CONCEPTUAL ISSUES (A. Doering) Measurement problem, Bell's thm, Kochen-Specker(-Conway) thm, GHZ argument. 15:30 - 16:00 BREAK 16:00 - 17:00 KEITH HANNABUS (Oxford - Mathematics) Categories and non-associative C*-algebras in quantum field theory 17:00 - 18:00 (Kansas State - Mathematics) Model Categories in quantum gravity SUNDAY ------------- 10:00 - 11:00 JOHN BARRETT (Nottingham - Mathematics) Knots and links in braided quantum field theory 11:00 - 11:15 BREAK 11:15 - 12:00 SIMON PERDRIX (Oxford - Computing) TBA 12:00 - 12:45 MEHRNOOSH SADRZADEH (Paris VII - Computing) What is the vector space content of what we say? ... a categorical approach to distributed meaning. 12:45 - 14:00 LUNCH 14:00 - 14:50 STEVE VICKERS (Birmingham - Computing) TBA 14:50 - 15:40 CHRIS FEWSTER (York - Mathematics) Categories in QFT in curved spacetime 15:40 - 16:10 BREAK 16:10 - 17:00 SIMON WILLERTON (Sheffield - Maths; YouTube Catsters) TBA Travel information, location and accommodation information is at: * http://www.comlab.ox.ac.uk/people/bob.coecke/CLOP_info.html Programs and videos of previous workshops and more information on the series are available from: * http://categorieslogicphysics.wikidot.com/