### Quantum Physics and Logic at Oxford

#### Posted by John Baez

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

- 12th International Workshop on Quantum Physics and Logic, Department of Computer Science, University of Oxford. Tutorials July 13–14 and Workshop July 15–17, 2015. Organized by Destiny Chen, Chris Heunen, Peter Selinger and Jamie Vicary.

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.

### Dates

- 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

### People

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:

- John Baez
- Dan Browne
- Giulio Chiribella
- Bob Coecke
- Ross Duncan
- Tobias Fritz
- Simon Gay
- Ichiro Hasuo
- Chris Heunen (co-chair)
- Matty Hoban
- Bart Jacobs
- Viv Kendon
- Matt Leifer
- Prakash Panangaden
- Dusko Pavlovic
- Simon Perdrix
- Mehrnoosh Sadrzadeh
- Peter Selinger (co-chair)
- Rob Spekkens
- Bas Spitters
- Isar Stubbe
- Jamie Vicary (co-chair)
- Mingsheng Ying

## 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!