Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

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 nn-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

4 Comments & 0 Trackbacks

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:

  • Rick Blute (Ottawa, Canada)
  • 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