### Quantum Logic, Topology and Categories at Oxford

#### Posted by John Baez

Café regulars tend to enjoy the analogies between computation, logic, topology, and quantum physics, since $n$-categories are a great way to make these analogies precise. There will be a conference touching on these topics in Oxford:

- Algebraic and Topological Methods in Non-Classical Logics III, Saint Anne’s College, University of Oxford, August 5-9, 2007.

It has a number of satellite workshops, including one on Categorical Quantum Logic, August 10-12 at the Oxford University Computing Laboratory, organized by Bob Coecke. I hope to attend that.

Posted at March 16, 2007 10:18 PM UTC
## Re: Quantum Programming, Categories and Topology at Oxford

Hi John,

I’m afraid I inadvertently caused some confusion. The Cats, Kets and Cloisters meeting happened

last year! It was a great success (120 people attended during the week). I included the URL for it just to give an indication of recent activities.The meeting you are attending in August definitely is still to happen though :-)

Samson