Proceedings 16th International Conference on Quantum Physics and Logic

2020/04/30 by Bob Coecke, Matthew Leifer · 6 citations
Computer Science · Mathematics · #cs.LO #cs.FL #cs.IT #cs.PL #math.IT

paper · pdf · doi:10.4204/eptcs.318

published as EPTCS 318, 2020

arxiv created 2020/04/30 · arxiv updated 2020/05/01

Abstract

This volume contains the proceedings of the 16th International Conference on Quantum Physics and Logic (QPL 2017), which was held June 10-14, 2019. 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

• Using ZDDs in the Mapping of Quantum Circuits
• Finite Verification of Infinite Families of Diagram Equations
• PyZX: Large Scale Automated Diagrammatic Reasoning
• Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms
• Hopf-Frobenius Algebras and a Simpler Drinfeld Double
• Ontological models for quantum theory as functors
• Phase Gadget Synthesis for Shallow Circuits
• Deriving Dagger Compactness
• Techniques to Reduce π/4-Parity-Phase Circuits, Motivated by the ZX Calculus
• Generating Randomness from a Computable, Non-random Sequence of Qubits
• Why FHilb is Not an Interesting (Co)Differential Category
• Effectus of Quantum Probability on Relational Structures
• Scott Continuity in Generalized Probabilistic Theories
• ROS: Resource-constrained Oracle Synthesis for Quantum Computers
• Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation

Related

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