# Proceedings of the 15th International Conference on Quantum Physics and Logic

## TL;DR

This paper summarizes the proceedings of the 15th International Conference on Quantum Physics and Logic, highlighting recent advances in the mathematical and logical foundations of quantum physics and related fields.

## Contribution

It compiles recent research applying logical, algebraic, and categorical methods to quantum physics, emphasizing structural and formal language approaches.

## Key findings

- Advances in categorical structures for quantum logic
- Development of formal languages for quantum systems
- Application of algebraic methods to quantum computing

## Abstract

Quantum Physics and Logic is an annual 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. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.

---
Source: https://tomesphere.com/paper/1901.09476