Quantum Physics and Logic
10-12 October 2012, Brussels, Belgium

Accepted papers

Local orthogonality: a multipartite information principle for (quantum) correlations Antonio Acin, Remigiusz Augusiak, Jonatan Bohr Brask, Rafael Chaves, Tobias Fritz, Anthony Leverrier and Ana Belen Sainz.

The ZX-calculus is complete for stabilizer quantum mechanics Miriam Backens

Decidable Logics for Quantum Reasoning Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Sonja Smets and Shengyang Zhong

Formal languages analysed by quantum walks Katie Barr and Viv Kendon

Between quantum logic and concurrency Luca Bernardinello, Carlo Ferigato and Lucia Pomello

Invariant Theory for Matrix Product States Jacob Biamonte, Ville Berghlom and Marco Lanzagorta

Strong Complementarity and Non-locality in Categorical Quantum Mechanics Bob Coecke, Ross Duncan, Aleks Kissinger and Quanlong Wang

A Category of Classical and Quantum Channels Bob Coecke, Chris Heunen and Aleks Kissinger

Compositional Quantum Logic Bob Coecke, Chris Heunen and Aleks Kissinger

Time-asymmetry and causal structure: an arrow of time Bob Coecke and Raymond Lal

Contextual Entropy and Reconstruction of Quantum States Carmen Maria Constantin and Andreas Döring

Logics between classical reversible logic and quantum logic Alexis De Vos and Stijn De Baerdemacker

Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras Andreas Döring

Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols Simon Gay and Ittoop Vergheese Puthoor

Speakable in quantum mechanics Ronnie Hermens

Retrocausal Toy Models Matthew Hoban and Raymond Lal

A digital approach to quantum theory Lluis Masanes, Markus Mueller, Remigiusz Augusiak and David Perez-Garcia

A non-classical theory that admits a preservation principle cannot be discrete Corsin Pfister and Stephanie Wehner

Coalgebraic Quantum Computation Frank Roumen

Quantum Gauge Field Theory in Cohesive Homotopy Type Theory Urs Schreiber and Michael Shulman

The spectrum of the Bohrification is locally compact; an exercise in geometric reasoning. Extended abstract Bas Spitters, Steve Vickers and Sander Wolters