Proceedings of the Twentieth International Conference on Quantum Physics and Logic
Shane Mansfield, Beno\^it Valiron, Vladimir Zamdzhiev

TL;DR
This paper compiles research from QPL 2023, focusing on mathematical and logical foundations of quantum physics and computation, emphasizing algebraic, categorical, and formal methods for understanding quantum systems.
Contribution
It presents a collection of recent advances in the mathematical and logical frameworks used in quantum physics and computation from the 2023 conference.
Findings
Advances in algebraic structures for quantum systems
Development of categorical models for quantum processes
New formal languages for quantum computation
Abstract
This volume contains the proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023). The aim of the QPL conference series is to bring together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, type systems, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.
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.
