Published: 1st January 2017
DOI: 10.4204/EPTCS.236
ISSN: 2075-2180


Proceedings 13th International Conference on
Quantum Physics and Logic
Glasgow, Scotland, 6-10 June 2016

Edited by: Ross Duncan and Chris Heunen

Ross Duncan and Chris Heunen
A Simplified Stabilizer ZX-calculus
Miriam Backens, Simon Perdrix and Quanlong Wang
On the Cohomology of Contextuality
Giovanni Carù
Geometric Quantization and Epistemically Restricted Theories: The Continuous Case
Ivan Contreras and Ali Nabi Duman
Infinite-dimensional Categorical Quantum Mechanics
Stefano Gogioso and Fabrizio Genovese
A Topological Perspective on Interacting Algebraic Theories
Amar Hadzihasanovic
Picturing Indefinite Causal Structure
Aleks Kissinger and Sander Uijlen
Ambiguity and Incomplete Information in Categorical Models of Language
Dan Marsden
Constructing Mutually Unbiased Bases from Quantum Latin Squares
Benjamin Musto
Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals
Masanao Ozawa
(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras
Dusko Pavlovic and Peter-Michael Seidel
Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras
Mathys Rennela, Sam Staton and Robert Furber
Cohomology of Effect Algebras
Frank Roumen
Tight Reference Frame–Independent Quantum Teleportation
Dominic Verdon and Jamie Vicary
Quantum Programs as Kleisli Maps
Abraham Westerbaan
Paschke Dilations
Abraham Westerbaan and Bas Westerbaan
A Royal Road to Quantum Theory (or Thereabouts), Extended Abstract
Alexander Wilce


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.