Proceedings 14th International Conference on Quantum Physics and Logic

TL;DR

The proceedings of QPL 2017 compile research on the mathematical and logical foundations of quantum physics and computing, emphasizing structural and categorical methods, and their applications across disciplines.

Contribution

This volume showcases recent advances in applying logical and algebraic structures to understand quantum physics and quantum computing.

Findings

Development of new categorical frameworks for quantum logic

Application of formal languages to quantum computational models

Integration of algebraic structures in quantum theory analysis

Abstract

This volume contains the proceedings of the 14th International Conference on Quantum Physics and Logic (QPL 2017), which was held July 3-7, 2017 at the LUX Cinema Nijmegen, the Netherlands, and was hosted by Radboud University. QPL is a conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. This conference also welcomes work that applies structures and methods inspired by quantum theory to other fields (including computer science).