Published: 1st October 2012|
|The Cohomology of Non-Locality and Contextuality Samson Abramsky, Shane Mansfield and Rui Soares Barbosa||1|
|On the Automation of Encoding Processes in the Quantum IO Monad James Barratt||15|
|No-go theorems for functorial localic spectra of noncommutative rings Benno van den Berg and Chris Heunen||21|
|Pictures of complete positivity in arbitrary dimension Bob Coecke and Chris Heunen||27|
|A Topos Theory Foundation for Quantum Mechanics John V Corbett||37|
|On Multiplicative Linear Logic, Modality and Quantum Circuits Ugo Dal Lago and Claudia Faggian||55|
|Analysis of a Quantum Error Correcting Code using Quantum Process Calculus Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan and Ittoop Vergheese Puthoor||67|
|The Born rule as structure of spectral bundles (extended abstract) Bertfried Fauser, Guillaume Raynaud and Steven Vickers||81|
|Completely positive classical structures and sequentializable quantum protocols Chris Heunen and Sergio Boixo||91|
|Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus Anne Hillebrand||103|
|Graphical Classification of Entangled Qutrits Kentaro Honda||123|
|The Expectation Monad in Quantum Foundations Bart Jacobs and Jorik Mandemaker||143|
|Generalizations of Boxworld Peter Janotta||183|
|Trichromatic Open Digraphs for Understanding Qubits Alex Lang and Bob Coecke||193|
|Bohrification of local nets Joost Nuiten||211|
|Symmetry constraints on temporal order in measurement-based quantum computation R. Raussendorf, P. Sarvepalli, T.-C. Wei and P. Haghnegahdar||219|
|Turing machines based on unsharp quantum logic Yun Shang, Xian Lu and Ruqian Lu||251|
|A Framework for Heterotic Computing Susan Stepney, Viv Kendon, Peter Hines and Angelika Sebald||263|
|Symmetry and Self-Duality in Categories of Probabilistic Models Alexander Wilce||275|
The goal of the QPL workshop series is to bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantic methods and other computer science methods for the study of physical behavior in general. Over the past few years, there has been growing activity in these foundational approaches, together with a renewed interest in the foundations of quantum theory, which complement the more mainstream research in quantum computation. 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).
The workshop program included three invited lectures:
The local organizers were Bas Spitters (co-chair), Bart Jacobs (co-chair), and Irma Haerkens.
The steering committee for the QPL workshop series consists of Bob Coecke (Oxford), Prakash Panangaden (McGill), and Peter Selinger (Dalhousie).
The workshop enjoyed partial support from the EPSRC Network on Structures at the Interface of Physics and Computer Science (EP/I03596X/1), from the EPSRC Network on Computer Science and Physics (CΛP), from the Netherlands Organisation for Scientific Research (NWO), and from Radboud University Nijmegen.
Bart Jacobs, Peter Selinger, and Bas Spitters