Proceedings of the 15th International Conference on Quantum Physics and Logic
Peter Selinger (Dalhousie University), Giulio Chiribella (University, of Oxford)

TL;DR
This paper summarizes the proceedings of the 15th International Conference on Quantum Physics and Logic, highlighting recent advances in the mathematical and logical foundations of quantum physics and related fields.
Contribution
It compiles recent research applying logical, algebraic, and categorical methods to quantum physics, emphasizing structural and formal language approaches.
Findings
Advances in categorical structures for quantum logic
Development of formal languages for quantum systems
Application of algebraic methods to quantum computing
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.
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.
