This volume contains the proceedings of the 11th International Workshop on Quantum Physics and Logic (QPL 2014), which was held from the 4th to the 6th of June, 2014, at Kyoto University, Japan. The goal of the QPL 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. Earlier workshops in this series, with the same acronym under the name "Quantum Programming Languages", were held in Ottawa (2003), Turku (2004), Chicago (2005), and Oxford (2006). The first QPL under the new name Quantum Physics and Logic was held in Reykjavik (2008), followed by Oxford (2009 and 2010), Nijmegen (2011), Brussels (2012) and Barcelona (2013).
翻译:本卷载有2014年6月4日至6日在日本京都大学举行的第11次量子物理和逻辑(QPL)国际讲习班(QPL,2014年)的会议记录,该讲习班系列的目标是汇集研究量子物理、量子计算和时空因果结构数学基础的研究人员,特别是那些使用逻辑工具、定购代数和分类理论结构、正式语言、语义方法和其他计算机科学方法研究一般物理行为的人,过去几年来,这些基础方法的活动不断增加,对量子理论基础重新感兴趣,而量子理论基础是对量子计算中较主流研究的补充,在渥太华(2003年)、图尔库(2004年)、芝加哥(2005年)和牛津(2006年)举行了本系列早期讲习班,简称为“量子规划语言”,在新名称“量子物理和逻辑学”下的第一个CPL在雷克雅未克(2008年)举行,随后在牛津(2009年和2010年)、尼米根(2011年)、布鲁塞尔(2012年)和巴塞罗那(2013年)。
牛津大学是一所英国研究型大学,也是罗素大学集团、英国“G5超级精英大学”,欧洲顶尖大学科英布拉集团、欧洲研究型大学联盟的核心成员。牛津大学培养了众多社会名人,包括了27位英国首相、60位诺贝尔奖得主以及数十位世界各国的皇室成员和政治领袖。2016年9月,泰晤士高等教育发布了2016-2017年度世界大学排名,其中牛津大学排名第一。