|
Published: 29th July 2014 DOI: 10.4204/EPTCS.158 ISSN: 2075-2180 |
| Preface | |
| Categories of Quantum and Classical Channels (extended abstract) Bob Coecke, Chris Heunen and Aleks Kissinger | 1 |
| Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols Simon J. Gay and Ittoop Vergheese Puthoor | 15 |
| Coalgebraic Quantum Computation Frank Roumen | 29 |
| The expressive power of quantum walks in terms of language acceptance Katie Barr and Viv Kendon | 39 |
| Speakable in quantum mechanics: babbling on Ronnie Hermens | 53 |
| Between quantum logic and concurrency Luca Bernardinello, Carlo Ferigato and Lucia Pomello | 65 |
| Gelfand spectra in Grothendieck toposes using geometric mathematics Bas Spitters, Steven Vickers and Sander Wolters | 77 |
| Quantum Gauge Field Theory in Cohesive Homotopy Type Theory Urs Schreiber and Michael Shulman | 109 |
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:
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.