Proceedings of the 15th International Conference on Quantum Physics and Logic

2019/01/28 by Peter Selinger, Giulio Chiribella · 5 citations
Physics and Astronomy · #quant-ph

paper · pdf · doi:10.4204/eptcs.287

published as EPTCS 287, 2019 · This volume contains the proceedings of the 15th International Conference on Quantum Physics and Logic (QPL 2018), which was held on June 3-7, 2018 at Dalhousie University in Halifax

arxiv created 2019/01/28 · arxiv updated 2019/01/29

Abstract

Quantum Physics and Logic is an annual 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) is also welcome.

Cited by

• Inadequacy of Modal Logic in Quantum Settings
• Categories of Empirical Models
• A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond
• Orthogonality for Quantum Latin Isometry Squares
• The Category TOF
• ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity
• Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
• Towards Large-scale Functional Verification of Universal Quantum Circuits
• Pure Maps between Euclidean Jordan Algebras
• Higher-order CPM Constructions
• Quantum Field Theory in Categorical Quantum Mechanics
• Symmetric Monoidal Structure with Local Character is a Property
• Parallel Self-Testing of the GHZ State with a Proof by Diagrams
• Lower and Upper Conditioning in Quantum Bayesian Theory
• Optimising Clifford Circuits with Quantomatic
• Categorical Equivalences from State-Effect Adjunctions
• Universal Properties in Quantum Theory
• ReQWIRE: Reasoning about Reversible Quantum Circuits
• Contexts in Convex and Sequential Effect Algebras

Related

• Proceedings 16th International Conference on Quantum Physics and Logic
• Proceedings 14th International Conference on Quantum Physics and Logic
• Proceedings 12th International Workshop on Quantum Physics and Logic
• Proceedings 13th International Conference on Quantum Physics and Logic
• Proceedings of the 11th workshop on Quantum Physics and Logic