From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8764 Path: news.gmane.org!not-for-mail From: Chris Heunen Newsgroups: gmane.science.mathematics.categories Subject: QPL 2016: Call for papers Date: Sat, 12 Dec 2015 13:06:14 +0000 Message-ID: Reply-To: Chris Heunen NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1450037996 26339 80.91.229.3 (13 Dec 2015 20:19:56 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 13 Dec 2015 20:19:56 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Sun Dec 13 21:19:47 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1a8D7R-00004z-Cv for gsmc-categories@m.gmane.org; Sun, 13 Dec 2015 21:19:45 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:52251) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1a8D5i-0005PQ-0R; Sun, 13 Dec 2015 16:17:58 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1a8D5g-0004W9-IJ for categories-list@mlist.mta.ca; Sun, 13 Dec 2015 16:17:56 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8764 Archived-At: CALL FOR PAPERS The 13th International Workshop on Quantum Physics and Logic (QPL) June 6-10, 2016 University of Strathclyde, Glasgow, Scotland http://qpl2016.cis.strath.ac.uk The 13th International Workshop on Quantum Physics and Logic (QPL) will take place at the University of Strathclyde between Tuesday 7 and Friday 10 June, 2016. The workshop 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. Previous QPL events were held in Oxford (2015), Kyoto (2014), Barcelona (2013), Brussels (2012), Nijmegen (2011), Oxford (2010), Oxford (2009), Reykjavik (2008), Oxford (2006), Chicago (2005), Turku (2004), and Ottawa (2003). INVITED SPEAKERS Elham Kashefi (University of Edinburgh) Tom Leinster (University of Edinburgh, to be confirmed) Krysta Svore (Microsoft Research) Stephanie Wehner (Technical University Delft) SATELLITES On Monday June 6 there will be tutorial lectures. More details will be announced later. On Saturday June 11 there will be a satellite workshop on "Semantic spaces at the intersection of natural language processing, physics, and cognitive science". More details can be found at: https://www.sites.google.com/site/semspworkshop. IMPORTANT DATES Submission: March 13, 2016 Notification: April 24 Papers ready: May 29 Tutorials: June 6 Workshop: June 7-10 SUBMISSIONS Prospective speakers are invited to submit a contribution to the workshop. - Original contributions consist of a 5-12 page extended abstract which 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. Submission of work in progress is encouraged but must be more substantial than a research proposal. - Short contributions will also be considered, and consist of a 3 page description including a link to work that has already been published or submitted elsewhere, provided it is recent and relevant to the workshop. Extended versions of accepted original research contributions will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the workshop. Submissions should be prepared using LaTeX, and must be submitted in PDF format. Use of the EPTCS style is encouraged. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2016 There will be an award for the best paper whose authors are all students, at the discretion of the programme committee. REGISTRATION AND SUPPORT Registration will be opened later, please visit the website for more details. We encourage participation of graduate students and those with caregiving responsibilities. We hope to be able to provide limited financial support for travel and accommodations; details will be announced later. PROGRAMME COMMITTEE John Barrett (University of Nottingham) Rick Blute (University of Ottawa) Dan Browne (University College London) Giulio Chiribella (University of Hong Kong) Bob Coecke (University of Oxford) Ross Duncan (University of Strathclyde, co-chair) Ichiro Hasuo (University of Tokyo) Chris Heunen (University of Edinburgh, co-chair) Matty Hoban (University of Oxford) Bart Jacobs (Radboud University Nijmegen) Viv Kendon (Durham University) Kohei Kishida (University of Oxford) Aleks Kissinger (Radboud University Nijmegen) Joachim Kock (Universitat Autonoma de Barcelona) Matt Leifer (Chapman University) Paul-Andre Mellies (University Paris Diderot) Michael Moortgat (Utrecht University) Daniel Oi (University of Strathclyde) Prakash Panangaden (McGill University) Dusko Pavlovic (University of Hawaii) Simon Perdrix (CNRS Nancy) Robert Raussendorf (University of British Columbia) Mehrnoosh Sadrzadeh (Queen Mary University of London) Peter Selinger (Dalhousie University) Pawel Sobocinski (University of Southampton) Rob Spekkens (Perimeter Institute) Bas Spitters (Aarhus University) Isar Stubbe (Universite du Littoral-Cote-d'Opale) Jamie Vicary (University of Oxford) Mingsheng Ying (University of Technology Sydney) STEERING COMMITTEE Bob Coecke (University of Oxford) Prakash Panangaden (McGill University) Peter Selinger (Dalhousie University) LOCAL ORGANISATION Ross Duncan Chris Heunen Daniel Oi -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]