Date/Time
Date(s) - 07/06/2016 - 10/06/2016
All Day
Location
The University of Strathclyde
The 13th International Conference on Quantum Physics and Logic will be hosted by the University of Strathclyde between Monday 6 and Friday 10 June, 2016.
QPL is a 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.
Important Dates:
13 March 2016: Deadline for submission of papers
24 April 2016: Notification of authors
29 May 2016: Camera-ready version due
6 June — 7 June 2016: QPL Tutorials
7 June — 10 June 2016: QPL Main Conference
11 June 2016: Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science
Programme:
We will have a full programme of contributed talks, invited lectures, and tutorials.
Invited Speakers
Elham Kashefi (University of Edinburgh)
Tom Leinster (University of Edinburgh)
Krysta M. Svore (Microsoft Research)
Stephanie Wehner (TU Delft)
Tutorial Lectures
During the first 2 days of QPL we will have a variety of tutorial lectures to introduce some key topics for QPL:
Kohei Kishida (Oxford) “Sheaves and Contextuality”
Aleks Kissinger (Nijmegen) “Process Theories and Graphical Languages”
Conor McBride (Strathclyde) “Logic and Functional Programming”
Daniel Oi (Strathclyde) “Quantum Foundations and Bell Experiments”
Ognyan Oreshkov (Brussels) “Causality in Quantum Theory”
Peter Selinger (Dalhousie) “Quantum Programming Languages”
There will be a conference dinner at the Drygate brewery on the evening of Thursday 9th June.
For more information on the Conference along with details of how to register, please visit the Conference Web-site.
