Published: 29th July 2014
DOI: 10.4204/EPTCS.158
ISSN: 2075-2180


Proceedings 9th Workshop on
Quantum Physics and Logic
Brussels, Belgium, 10-12 October 2012

Edited by: Ross Duncan and Prakash Panangaden

Categories of Quantum and Classical Channels (extended abstract)
Bob Coecke, Chris Heunen and Aleks Kissinger
Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
Simon J. Gay and Ittoop Vergheese Puthoor
Coalgebraic Quantum Computation
Frank Roumen
The expressive power of quantum walks in terms of language acceptance
Katie Barr and Viv Kendon
Speakable in quantum mechanics: babbling on
Ronnie Hermens
Between quantum logic and concurrency
Luca Bernardinello, Carlo Ferigato and Lucia Pomello
Gelfand spectra in Grothendieck toposes using geometric mathematics
Bas Spitters, Steven Vickers and Sander Wolters
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
Urs Schreiber and Michael Shulman


The 9th workshop on Quantum Physics and Logic took place at the Université Libre de Bruxelles in Brussels, Belgium on 10-12 October 2012.

The workshop brought 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 of physical behaviour in general.

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

The workshop enjoyed invited lectures from Stefaan Caenepeel (Vrije Universiteit Brussel), Jens Eisert (Freie Universität Berlin), Serge Massar (Université Libre de Bruxelles) and Paul-André Melliès (CNRS and Université Paris Diderot), and numerous contributed talks.

The contributed talks were reviewed by the programme committee, which was chaired by Ross Duncan and Prakash Panangaden:

In addition, the programme committee thanks Jorik Mandemaker for his effort in reviewing.

The local organiser was Ross Duncan, assisted by Erik Woodhead and Olmo Nieto-Silleras. QPL 2012 was financially supported by EPSRC network EP/I03596X/1 Structures at the Interface of Physics and Computer Science.