23-24 August 2008
We wish to draw your attention to the workshop series Categories, Logic and Foundations of Physics, of which the next one will take place at University of Oxford, August 23-24. The series is coordinated by Bob Coecke (Oxford) and Andreas Doering (Imperial College). Programs and videos of previous workshops and more information on the series are available from: * http://categorieslogicphysics.wikidot.com/ If you wish to be included in our mailing list please let us know! We also announce related events on our webpage, and videos of those. In case, despite the short notice, you would be interested in attending this months event, of which the program is pasted below, travel information, location and accommodation information is available from: * http://www.comlab.ox.ac.uk/people/bob.coecke/CLOP_info.html Best wishes, Bob. -------------------------------------------------------------- Here is the program of this event: SATURDAY ---------------- 11:00 - 12:30 TUTORIAL I: QUANTUM FORMALISM (Bob Coecke) Von Neumann quantum axioms, Dirac calculus and its categorical semantics, mixed operations, Gleason's theorem and Wigner's theorem. 12:30 - 14:00 LUNCH 14:00 - 15:30 TUTORIAL II: CONCEPTUAL ISSUES (Andreas Doering) Measurement problem, Bell's and GHZ characterisations of locality, Kochen-Specker(-Conway) theorem. 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 - Mathematics; YouTube Catsters) TBA -------------------------------------------------------------- Abstract LOUIS CRANE: We examine a plausible physical hypothesis which would allow us to model quantum regions as differential graded hopf algebras or as differential graded categories. Abstract JOHN BARRETT: I will explain some aspects of braided quantum field theory: how it is a generating function of knots and links, and also a little about the relation to 3d quantum gravity. -------------------------------------------------------------------------------------------------------------------------------------