QPL: Quantum Physics and Logic

Thu 27 - Sat 29 Oct 2011
Nijmegen, the Netherlands

---

The Institute for Mathematics, Astrophysics and Particle Physics and the Department of Computer Science at the Radboud University Nijmegen will host the 8th Quantum Physics and Logic (QPL 2011).

---

This event will 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, semantical methods and other computer science methods for the study physical behaviour in general.
Previous QPL events were held in Ottawa (2003), Turku (2004), Chicago (2005), Oxford (2006), Reykjavik (2008), Oxford (2009), Oxford (2010).

---

Programme, invited speakers

Hans Maassen (Nijmegen) abstract (slides)
Urs Schreiber (Nijmegen abstract (slides)
Rob Spekkens (Perimeter Institute) abstract (slides)

Thursday will be closed with drinks. A workshop dinner will be held on Friday.

Full program

Important dates

Submission: Abstract Sat 27th Aug. Paper Mon 29th Aug, 12:00 GMT sharp.
Notification of authors: Sep 20

Registration, requests for student support: 3 Oct, 9:00CET

Corrected papers due: Oct 13, 9:00CET

Submission of papers

Prospective speakers are invited to submit 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. We both encourage submissions of original research as well as research submitted elsewhere. Submissions should be prepared using LaTeX, and must be submitted in PDF format and can be done via easy chair. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the workshop.

List of accepted talks

The QPL proceedings have been published in EPTCS.
EPTCS 95 Proceedings 8th International Workshop on Quantum Physics and Logic
Published: 1st October 2012 DOI: 10.4204/EPTCS.95 ISSN: 2075-2180

• Samson Abramsky and Shane Mansfield. The Cohomology of Non-Locality and Contextuality: Preliminary Version (slides)
• James Barratt. On the Automation of Encoding Processes in the Quantum IO Monad
• Benno Van Den Berg and Chris Heunen. No-go theorems for functorial localic spectra of noncommutative rings (slides)
• Jacob Biamonte, Stephen R. Clark and Dieter Jaksch. Categorical Tensor Network States
• Bob Coecke and Chris Heunen. Pictures of complete positivity in arbitrary dimension (slides)
• Bob Coecke and Raymond Lal. Categorical quantum mechanics meets the Pavia principles: towards a representation theorem for CQM constructions
• John Corbett. A Topos Theory Foundation for Quantum Mechanics (slides)
• Ugo Dal Lago and Claudia Faggian.On Multiplicative Linear Logic, Modality and Quantum Circuits
• Timothy Davidson, Simon Gay, Rajagopal Nagarajan and Ittoop Vergheese Puthoor. Analysis of a Quantum Error Correcting Code using Quantum Process Calculus (slides)
• Ichiro Hasuo and Naohiko Hoshino. Semantics of Higher-Order Quantum Computation via Geometry of Interaction (slides)
• Chris Heunen and Sergio Boixo. Completely positive classical structures and sequentializable quantum protocols (slides)
• Anne Hillebrand. Superdense Coding and Quantum Direct Communication with GHZ in the ZX-calculus
• Kentaro Honda. Graphical Classification of Entangled Qutrits
• Peter Janotta. Generalizations of boxworld
• Alex Lang and Bob Coecke. Trichromatic Open Digraphs for Understanding Qubits (slides)
• Jorik Mandemaker and Bart Jacobs. The expectation monad (slides)
• Joost Nuiten. Bohrification of local nets of observables
• Robert Raussendorf, Pradeep Sarvepalli, Tzu-Chieh Wei and Poya Haghnegahdar. Measurement-based quantum computation--a quantum-mechanical toy model for spacetime? (slides)
• Yun Shang, Xian Lu and Ruqian Lu. Turing machine based on unsharp quantum logic (slides)
• Susan Stepney, Viv Kendon, Peter Hines and Angelika Sebald. A Framework for Heterotic Computing
• Steve Vickers, Bertfried Fauser and Guillaume Raynaud. The Born rule as structure of spectral bundles
• Alexander Wilce. Symmetry and Self-Duality in Categories of Probabilistic Models

Financial support

The workshop enjoys support from:
EPSRC Network on Structures at the Interface of Physics and Computer Science (EP/I03596X/1)
NWO
C/\P-network.

Student support

We encourage participation by graduate students at the workshop. Students will pay a reduced registration fee. We will also be able to provide limited financial support to students for travel and accommodations; if you are interested in this, please email i.haerkens@cs.ru.nl by October 3rd, 9:00 CET.
Please also arrange for a brief letter of recommendation from your supervisor, to be sent to the same email address before the deadline. Your supervisor's letter should also state whether you have access to funding from other sources, and how much.

Videos of all lectures of previous QPLs can be viewed at here.

---

Practicalities

Hotels Atlanta and Apollo are located near the city center. Hotels Val Monte and Erica are further away, but located near the forests. There is also alternative accommodation.

The workshop will take place in the faculty club/het Kasteeltje
Grotere kaart weergeven

Traveling to Nijmegen.

The most convenient connections are via Amsterdam Schiphol airport. Schiphol has an internal train station. Alternatively, there are Ryanair flights to Weeze airport. From Weeze airport there is a direct (taxi)bus service to Nijmegen. You are advised to reserve the taxibus 24h before arriving/leaving.
To use public transportations in Nijmegen you need to buy an "OV Chipkaart". You can buy one at the train station (using the machines or by the service desk). It costs 7,5 euros.

Registration fee is E90 to be paid in cash when arriving at the workshop. Please inform Irma Haerkens if you plan to attend.

---