Proceedings 9th Workshop on Quantum Physics and Logic
Ross Duncan (University of Strathclyde, Glasgow, United Kingdom),, Prakash Panangaden (McGill University, Montreal, Canada)
TL;DR
The proceedings of QPL2012 showcase recent research at the intersection of quantum physics, logic, and computer science, emphasizing mathematical and logical tools for understanding quantum phenomena and causal structures.
Contribution
This volume compiles diverse research on applying logical, algebraic, and categorical methods to foundational issues in quantum physics and quantum computing.
Findings
Advances in formal logical frameworks for quantum theory
Development of categorical models for quantum processes
Insights into spatio-temporal causal structures in quantum physics
Abstract
This volume contains the proceedings of the ninth workshop on Quantum Physics and Logic (QPL2012) which took place in Brussels from the 10th to the 12th of October 2012. QPL2012 brought together researchers working on mathematical foundations of quantum physics, quantum computing, and spatio-temporal causal structures. The particular focus was on the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical techniques, 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.