Proceedings 12th International Workshop on Quantum Physics and Logic
Chris Heunen (University of Oxford), Peter Selinger (Dalhousie, University), Jamie Vicary (University of Oxford)

TL;DR
This volume compiles research from the 12th International Workshop on Quantum Physics and Logic, focusing on mathematical and logical foundations of quantum physics, quantum computing, and related areas using formal and categorical methods.
Contribution
It presents a collection of recent research advances in applying logical and algebraic structures to quantum physics and computation.
Findings
Development of new logical frameworks for quantum theory
Application of category theory to quantum computational models
Insights into causal structures in quantum physics
Abstract
This volume contains the proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), which was held July 15-17, 2015 at Oxford University. The goal of this workshop series is to bring together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general.
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.
