Proceedings 18th International Conference on Quantum Physics and Logic

Proceedings 13th International Conference on Quantum Physics and Logic

This volume contains the proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016), which was held June 6-10, 2016 at the University of Strathclyde. 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.

Proceedings 17th International Conference on Quantum Physics and Logic

This volume contains the proceedings of the 17th International Conference on Quantum Physics and Logic (QPL 2020), which was held June 2-6, 2020. 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 behavior in general. Work that applies struct…

第22届量子物理与逻辑国际会议论文集

Proceedings of the 22nd International Conference on Quantum Physics and Logic

本文介绍第22届量子物理与逻辑国际会议（QPL 2025）论文集，该会议聚焦量子计算与量子物理的数学基础，涵盖代数、范畴结构、形式语言及语义方法等研究。

第21届量子物理与逻辑国际会议论文集

Proceedings of the 21st International Conference on Quantum Physics and Logic

本文为QPL 2024会议论文集，介绍该量子物理与逻辑领域年度会议的举办信息及其在量子计算数学基础、范畴语义和形式方法等方面的关注重点。

第二十届国际量子物理与逻辑会议论文集

Proceedings of the Twentieth International Conference on Quantum Physics and Logic

该论文集收录QPL 2023会议论文，旨在汇集学术界与工业界研究者，聚焦量子计算与物理的数学基础，强调代数、范畴、形式语言及语义方法的应用。

First International Conference on Unconventional Models of Computation UMC'98. An Unconventional Review

Review of the First International Conference on Unconventional Models of Computation UMC'98, Auckland, New Zealand, 5-9 January, 1998