Published: 31st January 2019 DOI: 10.4204/EPTCS.287 ISSN: 2075-2180 |
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. Previous QPL events were held in Nijmegen (2017), Glasgow (2016), Oxford (2015), Kyoto (2014), Barcelona (2013), Brussels (2012), Nijmegen (2011), Oxford (2010), Oxford (2009), Reykjavik (2008), Oxford (2006), Chicago (2005), Turku (2004), and Ottawa (2003).
QPL 2018 was co-located with MFPS 2018, the 34th Conference on the Mathematical Foundations of Programming Semantics. The two conferences had a joint special session and a joint invited speaker.
The QPL conference program featured four invited lectures:
The conference program also included 45 contributed talks and 4 posters. They were selected by a program committee whose members were Samson Abramsky, Antonio Acín, Richard Blute, Anne Broadbent, Dan Browne, Giulio Chiribella (co-chair), Bob Coecke, Ross Duncan, Teiko Heinosaari, Chris Heunen, Matthew Hoban, Dominic Horsman, Bart Jacobs, Kohei Kishida, Aleks Kissinger, Joachim Kock, Ciáran Lee, Matt Leifer, Martha Lewis, Paul-André Melliès, Mio Murao, Daniel Oi, Ognyan Oreshkov, Prakash Panangaden, Anna Pappa, Dusko Pavlovic, Simon Perdrix, Paolo Perinotti, Neil J. Ross, Ana Belén Sainz, Peter Selinger (co-chair), Pawel Sobocinski, Robert Spekkens, Isar Stubbe, Benoît Valiron, Jamie Vicary, Mingsheng Ying, and Margherita Zorzi.
Each submission was refereed by at least two, and typically three, reviewers, who delivered detailed comments and suggestions. The program chairs thank all the program committee members and all the additional reviewers for their excellent service.
There were two submission categories at QPL 2018: original contributions, consisting of a 5–12 page extended abstract, and extended abstracts of work published or submitted elsewhere. This volume contains papers corresponding to a selection of the original contributions.
At each QPL conference, an award for the best student paper is given at the discretion of the program committee. Papers eligible for the award are those where all the authors are students at the time of submission. This year's best student paper award went to Matthew Amy of the Institute for Quantum Computing, University of Waterloo for the paper "Towards large-scale functional verification of universal quantum circuits".
The local organizers were Neil J. Ross and Peter Selinger, with additional help from Xiaoning Bian, Peng (Frank) Fu, and Francisco Rios.
The steering committee for the QPL conference series consists of Bob Coecke, Prakash Panangaden, and Peter Selinger.
The conference enjoyed financial support from: