Program of Categories, Logic and Foundations of Physics, August 23-24, Oxford

Program of Categories, Logic and Foundations of Physics, August 23-24, Oxford

[Bob Coecke]

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/