QPL 2015

Quantum Physics and Logic

13-17 July 2015
Oxford, United Kingdom

The 12th International Workshop on Quantum Physics and Logic will take place at the Department of Computer Science of the University of Oxford between Wednesday 15 and Friday 17 July, 2015.

QPL is a workshop that brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general.

Previous QPL events were held in Kyoto (2014), Barcelona (2013), Brussels (2012), Nijmegen (2011), Oxford (2010), Oxford (2009), Reykjavik (2008), Oxford (2006), Chicago (2005), Turku (2004), and Ottawa (2003).

The workshop will be preceded by tutorials on Monday 13 and Tuesday 14 July 2015.

Important dates

  • Submission deadline: 1 May 2015
  • Author notification: 1 June 2015
  • Papers ready: 15 June 2015
  • Tutorials: 13-14 July 2015
  • Workshop: 15-17 July 2015

All deadline times are Anywhere on Earth.

Submit a paper

Prospective speakers are invited to submit a contribution to the workshop. We are considering two kinds of contributions.

  • Short contributions consisting of a 3 page description of the work, and a link to a paper available elsewhere.
  • Longer original contributions consisting of a 5-12 page extended abstract which provides sufficient evidence of results of genuine interest and provides sufficient detail to allow the program committee to assess the merits of the work. Submissions of works in progress are encouraged but must be more substantial than a research proposal.
  • Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science after the workshop.

    Submissions should be prepared using LaTeX, and must be submitted in PDF format. Use of the EPTCS style is encouraged. Please submit your contribution via EasyChair.

    There will be an award for the best paper whose authors are all students, at the discretion of the programme committee.

    Committees


    Tutorials

    Monday 13 July and Tuesday 14 July there will be tutorial talks.

    Paul Busch

    University of York

    Qubit uncertainty

    Pawel Sobociński

    University of Southampton

    Graphical linear algebra

    Programme

    Here is the full programme: for the tutorials and the main workshop. The conference dinner will be on Thursday 16 July, at the Cherwell Boat House. The accepted talks are:

  • Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal and Shane Mansfield. Contextuality, Cohomology and Paradox
  • Miriam Backens. Making the stabilizer ZX-calculus complete for scalars
  • Costin Badescu and Prakash Panangaden. Quantum Alternation: Prospects and Problems
  • John Baez and Jason Erbele. Categories in control
  • Howard Barnum, Jonathan Barrett, Marius Krumm and Markus Mueller. Entropy, majorization and thermodynamics in general probabilistic theories
  • Howard Barnum, Matthew Graydon and Alexander Wilce. Some Nearly Quantum Theories
  • Ana Belén Sainz and Joseph Henson. Macroscopic non-contextuality as a principle for Almost Quantum Correlations
  • Jaap Boender, Florian Kammueller and Rajagopal Nagarajan. Formalization of Quantum Protocols using Coq
  • Olivier Brunet. Quantum Measurements from a Logical Point of View
  • Giulio Chiribella and Carlo Maria Scandolo. Operational axioms for diagonalizing states
  • Kenta Cho. Total and Partial Computation in Categorical Quantum Foundations
  • Kenta Cho, Bart Jacobs, Bas Westerbaan and Bram Westerbaan. Quotient–Comprehension Chains
  • Oscar Cunningham and Chris Heunen. Axiomatizing complete positivity
  • Benjamin Eva. Towards a Paraconsistent Quantum Set Theory
  • Brendan Fong and Hugo Nava-Kopp. Additive monotones for resource theories of parallel-combinable processes with discarding
  • Robert Furber and Bas Westerbaan. Unordered Tuples in Quantum Computation
  • Stefano Gogioso. A Bestiary of Sets and Relations
  • Stefano Gogioso. Categorical Semantics for Schrödinger's Equation
  • Stefano Gogioso and William Zeng. Mermin Non-Locality in Abstract Process Theories
  • Amar Hadzihasanovic. A diagrammatic axiomatisation of the GHZ and W quantum states (best student paper)
  • M. Hamed Mohammady, Masoud Mohseni and Yasser Omar. Minimising the heat dissipation of information erasure
  • Chris Heunen and Sean Tull. Categories of relations as models of quantum theory
  • Kentaro Honda. Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism
  • Clare Horsman and Samson Abramsky. DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics.
  • Ravi Kunjwal and Robert Spekkens. From the Kochen-Specker theorem to noncontextuality inequalities
  • Ciaran Lee and Jonathan Barrett. Computation in generalised probabilisitic theories
  • Bert Lindenhovius and Chris Heunen. DCPOs of commutative C*-subalgebras
  • Dan Marsden. A graph-theoretic perspective on CPM(Rel)
  • Benjamin Musto and Jamie Vicary. Quantum Latin squares and unitary error bases
  • Tim Palmer. Invariant Set Theory: Violating Measurement Independence without Fine Tuning, Conspiracy, Constraints on Free Will or Retrocausality
  • Matthew Pusey and Matthew Leifer. Logical pre- and post-selection paradoxes are proofs of contextuality
  • David Quick. Encoding !-tensors as !-graphs with neighbourhood orders
  • Andre Ranchin. Depicting qudit quantum mechanics and mutually unbiased qudit theories
  • Mathys Rennela and Sam Staton. Complete positivity and natural representation of quantum computations
  • Katja Ried, Megan Agnew, Lydia Vermeyden, Dominik Janzing, Robert W. Spekkens and Kevin J. Resch. A quantum advantage for causal inference
  • Sam Staton and Sander Uijlen. Effect Algebras, Presheaves, Non-locality and Contextuality
  • Alessandro Tosini, Giacomo D'Ariano, Franco Manessi and Paolo Perinotti. Fermionic quantum theory and superselection rules for operational probabilistic theories
  • Registration

    To register, please complete the online registration form. The registration form includes the possibility of pre-arranged accommodation at a reduced price.

    Here is a list of participants.

    Local information

    Oxford is the home of the oldest university in the English speaking world, and boasts many tourist attractions. It is easily reached from London's international Heathrow airport via the so-called airline bus service. For more information see these travel directions.

    We have reserved a number of rooms in Keble College for participants at the reduced rate of 42 pounds per night. These can only be booked for either 5 or 6 nights, 12-17 or 12-18 July 2015, on a "first come, first serve" basis. A room can be reserved when you register.

    Oxford has a wide range of places to stay, including college accommodation, private rooms and flats, or short term properties to share, and many bed and breakfasts (B&Bs) and guest houses. Particularly well located B&Bs are Cotswolds, Rewley House, Linton Lodge, Parklands and Galaxie Hotel. Please contact Destiny Chen should you need further information. Demand for accommodation in Oxford is high, so the rule of thumb is to book a place as soon as possible. In terms of areas, Central/North Oxford and Jericho are the closest to the workshop venue, then along Botley Road, Abingdon Road, Cowley Road (the multicultural downtown of Oxford), Iffley Road, and Wolvercote.

    The workshop will be held in Lecture Theatre B of the Department of Computer Science.

    Oxford hosts many tourist attractions and events. For example, you could complete your Oxford experience by seeing a Shakespeare play outdoors.

    Sponsors

    QPL 2015 is sponsored by: