Published: 1st January 2017 DOI: 10.4204/EPTCS.236 ISSN: 2075-2180 |
This volume contains the proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016), which was held June 6--10, 2016 at the University of Strathclyde in Glasgow, Scotland.
QPL is a conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. Earlier workshops in this series, with the same acronym under the name "Quantum Programming Languages", were held in Ottawa (2003), Turku (2004), Chicago (2005), and Oxford (2006). The first QPL under the new name Quantum Physics and Logic was held in Reykjavik (2008), followed by Oxford (2009 and 2010), Nijmegen (2011), Brussels (2012), Barcelona (2013), Kyoto (2014), and Oxford (2015).
The workshop program includes four invited lectures:
The conference was preceded by two days of tutorials:
In addition, there were 19 contributed talks, 13 contributed short talks, and 10 posters. They were selected from among 52 submissions by a program committee whose members were John Barrett, Rick Blute, Dan Browne, Giulio Chiribella, Bob Coecke, Ross Duncan (co-chair), Ichiro Hasuo, Chris Heunen (co-chair), Matty Hoban, Bart Jacobs, Viv Kendon, Kohei Kishida, Aleks Kissinger, Joachim Kock, Matt Leifer, Paul-André Melliès, Michael Moortgat, Daniel Oi, Prakash Panangaden, Dusko Pavlovic, Simon Perdrix, Mehrnoosh Sadrzadeh, Peter Selinger, Pawel Sobocinski, Rob Spekkens, Bas Spitters, Isar Stubbe, Jamie Vicary, and Mingsheng Ying.
Each submission was refereed by at least three reviewers, who delivered detailed and insightful comments and suggestions. The program chairs thank all the program committee members and all the additional reviewers for their excellent service. This volume contains papers corresponding to a selection of the contributed talks.
The local organizers were Ross Duncan, Chris Heunen, and Daniel Oi.
The steering committee for the QPL conference series consists of Bob Coecke, Prakash Panangaden, and Peter Selinger.
The conference enjoyed partial support from Glasgow City Marketing Bureau, the Scottish Informatics and Computer Alliance, the University of Strathclyde, the Institute for Quantum Computing, and the London Mathematical Society.
November 2016,
Ross Duncan and Chris Heunen.