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/