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.

February 18, 2015

Quantum Physics and Logic at Oxford

Posted by John Baez

There’s a workshop on quantum physics and logic at Oxford this summer:

This is part of a series of workshops called QPL for short. It’s been going on since 2003. It used to stand for ‘Quantum Programming Languages’, but now it stands for ‘Quantum Physics and Logic’.

These workshops bring together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behavior in general.

Prospective speakers are invited to submit a contribution to the workshop! We’re considering two kinds of contributions:

  • Short contributions consisting of a 3 page description of the work, and a link to a paper published elsewhere.
  • Longer original contributions consisting of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal.

Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science after the workshop.

Submissions should be prepared using LaTeX, and must be submitted in PDF format. Use of the EPTCS style is encouraged. Please submit your contribution via EasyChair.

There will be an award for the best paper whose authors are all students, at the discretion of the program committee.


  • Submission deadline: 1 May 2015
  • Author notification: 1 June 2015
  • Papers ready: 15 June 2015
  • Tutorials: 13-14 July 2015
  • Workshop: 15-17 July 2015


The steering committee is Bob Coecke, Prakash Panangaden and Peter Selinger. The local organizers are Destiny Chen, Chris Heunen and Jamie Vicary. Here’s the program committee:

Posted at February 18, 2015 9:52 PM UTC

TrackBack URL for this Entry:

1 Comment & 0 Trackbacks

Re: Quantum Physics and Logic at Oxford

With a little luck I will be in Oxford July 6th to 17th, so I’ll attend this workshop, and I’ll be happy to talk to people who are around during this time!

Posted by: John Baez on February 18, 2015 10:42 PM | Permalink | Reply to this

Post a New Comment