Proceedings of the 10th International Workshop on Quantum Physics and Logic

TL;DR

This collection of proceedings from the 10th International Workshop on Quantum Physics and Logic showcases recent research on the mathematical and logical foundations of quantum physics, quantum computing, and causal structures, emphasizing formal and semantic methods.

Contribution

It compiles recent advances in logical, algebraic, and categorical approaches to quantum foundations, highlighting interdisciplinary methods and renewed foundational interest.

Findings

Increased activity in foundational quantum research

Integration of logical and algebraic tools in quantum theory

Renewed interest in quantum foundations

Abstract

This volume contains the proceedings of the 10th International Workshop on Quantum Physics and Logic (QPL X), which was held July 17-19, 2013 at ICFO in Castelldefels (Barcelona), Spain. The goal of this workshop series is to bring together researchers working on mathematical foundations of quantum physics, quantum computing and spatio-temporal causal structures, and in particular those that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantic methods and other computer science methods for the study of physical behavior in general. Over the past few years, there has been growing activity in these foundational approaches, together with a renewed interest in the foundations of quantum theory, which complement the more mainstream research in quantum computation.