Proceedings 17th International Conference on Quantum Physics and Logic

2021/09/03 by Benoît Valiron, Shane Mansfield, Pablo Arrighi +1 · 3 citations
Computer Science · Physics and Astronomy · #cs.LO #quant-ph

paper · pdf · doi:10.4204/eptcs.340

published as EPTCS 340, 2021

arxiv created 2021/09/03 · arxiv updated 2021/09/06

Abstract

This volume contains the proceedings of the 17th International Conference on Quantum Physics and Logic (QPL 2020), which was held June 2-6, 2020. 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 behavior in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.

Cited by

• AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness
• An Algebraic Axiomatisation of ZX-calculus
• Contextuality and Expressivity of Non-locality
• A Diagrammatic Approach to Information Transmission in Generalised Switches
• Hyper-decoherence in Density Hypercubes
• Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory
• Giving Operational Meaning to the Superposition of Causal Orders
• Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus
• Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications
• The ZX&-calculus: A complete graphical calculus for classical circuits using spiders
• Tensor Network Rewriting Strategies for Satisfiability and Counting
• Equivalence of Grandfather and Information Antinomy Under Intervention
• Quantum Natural Language Processing on Near-Term Quantum Computers
• Well-tempered ZX and ZH Calculi
• Quantum CPOs
• Gottesman Types for Quantum Programs
• Quantum Hoare Type Theory: Extended Abstract