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 structures and methods inspired by quantum theory to other fields (including computer science) is also welcome.
翻译:本卷载有第17次量子物理和逻辑(QPL 2020)国际会议(QPL 2020)的会议记录,该会议于2020年6月2日至6日举行。 量子物理和逻辑是一个年度会议,使研究量子物理、量子计算和相关领域的数学基础的研究人员聚集一堂,重点是结构观点和使用逻辑工具、定购代数和分类理论结构、正式语言、语义方法以及用于研究一般物理行为的其他计算机科学技术,将量子理论所启发的结构和方法应用于其他领域(包括计算机科学)的工作也值得欢迎。