March 16, 2007

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:

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

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1208

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

Posted by: Samson Abramsky on March 16, 2007 11:06 PM | Permalink | Reply to this

Re: Quantum Programming, Categories and Topology at Oxford

Whoops. I was very impressed by how many conferences you guys were running this summer.

I’ve fixed the blog entry.

Posted by: John Baez on March 17, 2007 1:00 AM | Permalink | Reply to this

Re: Quantum Logic, Topology and Categories at Oxford

Here’s some more news on this summer’s conference:

CATEGORICAL QUANTUM LOGIC

August 11-12

Oxford University

Invited speakers:

• Marcelo Fiore (Cambridge, UK)
• John Harding (New Mexico, US)
• Chris Isham (Imperial College, UK)
• Dusko Pavlovic (Kestrel Institute, US)

This workshop will be partly adjacent to and partly interleaved with one on COALGEBRAIC LOGIC which takes place August 10-11 and is organised by Alexander Kurz, and both of these are preceded by the conference ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS, which takes place August 5-9 and is organised by Hilary Priestley and Mai Gehrke, and at which:

• Samson Abramsky (Oxford, UK)

will be giving an invited address on his work in the area of categorical quantum logic.

Posted by: John Baez on June 28, 2007 9:04 PM | Permalink | Reply to this

Re: Quantum Logic, Topology and Categories at Oxford

Unfortunately I’ll be running around too much to attend this conference. So, if anyone is able to blog a bit about what happens there, we’d be happy for them to post their remarks here!

Posted by: John Baez on June 28, 2007 9:05 PM | Permalink | Reply to this

Post a New Comment