Proceedings 9th Workshop on Quantum Physics and Logic

2014/07/29 by Ross Duncan, Prakash Panangaden · 6 citations
Physics and Astronomy · Computer Science · #quant-ph #cs.LO

paper · pdf · doi:10.4204/eptcs.158

published as EPTCS 158, 2014

arxiv created 2014/07/29 · arxiv updated 2014/08/01

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.

Cited by

• Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
• Gelfand spectra in Grothendieck toposes using geometric mathematics
• Coalgebraic Quantum Computation
• The expressive power of quantum walks in terms of language acceptance
• Between quantum logic and concurrency
• Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
• Categories of Quantum and Classical Channels (extended abstract)
• Speakable in quantum mechanics: babbling on

Related

• Proceedings 12th International Workshop on Quantum Physics and Logic
• Proceedings of the 10th International Workshop on Quantum Physics and Logic
• Proceedings 8th International Workshop on Quantum Physics and Logic
• Proceedings of the 11th workshop on Quantum Physics and Logic
• Proceedings 13th International Conference on Quantum Physics and Logic