Proceedings 17th International Conference on Quantum Physics and Logic
Beno\^it Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden

TL;DR
The proceedings of QPL 2020 compile recent research on the mathematical and logical foundations of quantum physics and computing, emphasizing structural and categorical methods, and their applications across disciplines.
Contribution
This volume consolidates diverse recent advances in quantum logic, categorical structures, and formal languages, highlighting interdisciplinary applications and new theoretical insights in quantum foundations.
Findings
Development of new categorical frameworks for quantum logic
Application of formal languages to quantum computational models
Insights into the structural aspects of quantum theory
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
