Published: 27th February 2018
DOI: 10.4204/EPTCS.266
ISSN: 2075-2180


Proceedings 14th International Conference on
Quantum Physics and Logic
Nijmegen, The Netherlands, 3-7 July 2017

Edited by: Bob Coecke and Aleks Kissinger

Almost Equivalent Paradigms of Contextuality
Linde Wester
Y-Calculus: A Language for Real Matrices Derived from the ZX-Calculus
Emmanuel Jeandel, Simon Perdrix and Renaud Vilmart
Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics
Quanlong Wang
A Structural and Nominal Syntax for Diagrams
Dan R Ghica and Aliaume Lopez
A Finite Presentation of CNOT-Dihedral Operators
Matthew Amy, Jianxin Chen and Neil J. Ross
Common Denominator for Value and Expectation No-go Theorems: Extended Abstract
Andreas Blass and Yuri Gurevich
Two Roads to Classicality
Bob Coecke, John Selby and Sean Tull
QWIRE Practice: Formal Verification of Quantum Circuits in Coq
Robert Rand, Jennifer Paykin and Steve Zdancewic
Double Dilation ≠ Double Mixing (extended abstract)
Maaike Zwart and Bob Coecke
Verifying the Smallest Interesting Colour Code with Quantomatic
Liam Garvie and Ross Duncan
A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)
Francisco Rios and Peter Selinger
Quantum Theory is a Quasi-stochastic Process Theory
John van de Wetering
On the Structure of Abstract H*-Algebras
Kevin Dunne
Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract)
Daniel Mills, Anna Pappa, Theodoros Kapourniotis and Elham Kashefi
A Shortcut from Categorical Quantum Theory to Convex Operational Theories
Alexander Wilce
Toward Quantum Combinatorial Games
Paul Dorbec and Mehdi Mhalla
Uniqueness of Composition in Quantum Theory and Linguistics
Bob Coecke, Fabrizio Genovese, Stefano Gogioso, Dan Marsden and Robin Piedeleu
The Category CNOT
Robin Cockett, Cole Comfort and Priyaa Srinivasan
Categorifying the ZX-calculus
Daniel Cicala
Purity through Factorisation
Oscar Cunningham and Chris Heunen
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
David Reutter and Jamie Vicary
Towards Quantum Field Theory in Categorical Quantum Mechanics
Stefano Gogioso and Fabrizio Genovese
Categorical Probabilistic Theories
Stefano Gogioso and Carlo Maria Scandolo
Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued Relations
Kevin Dunne
Space in Monoidal Categories
Pau Enrique Moliner, Chris Heunen and Sean Tull


This volume contains the proceedings of the 14th International Conference on Quantum Physics and Logic (QPL 2017), which was held July 3-7, 2017 at the LUX Cinema Nijmegen, the Netherlands, and was hosted by Radboud University.

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. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) was also welcome.

Previous QPL events were held in Glasgow (2016), Oxford (2015) Kyoto (2014), Barcelona (2013), Brussels (2012), Nijmegen (2011), Oxford (2010), Oxford (2009), Reykjavik (2008), Oxford (2006), Chicago (2005), Turku (2004), and Ottawa (2003).

The conference was hosted jointly with a workshop of the International Quantum Structures Association (IQSA).

The QPL conference program included five invited lectures:

It also included 4 invited tutorials:

The conference had 109 registered attendees, 42 contributed talks in the main QPL program, and an additional 25 talks in the IQSA satellite conference, giving a total of 76 talks and tutorials over the 5-day period.

Each submission was thoroughly refereed, and reviewers 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 Aleks Kissinger, Bart Jacobs, and Sander Uijlen. The steering committee for the QPL conference series consists of Bob Coecke, Prakash Panangaden, and Peter Selinger. The conference enjoyed significant support from the Institute for Quantum Computing at the University of Waterloo and ERC Grant No. 320571.

November 2017,
Aleks Kissinger and Bob Coecke.