From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6911 Path: news.gmane.org!not-for-mail From: selinger@mathstat.dal.ca (Peter Selinger) Newsgroups: gmane.science.mathematics.categories Subject: QPL 2011 workshop, Nijmegen, Oct 27-29 Date: Thu, 22 Sep 2011 15:18:39 -0300 (ADT) Message-ID: Reply-To: selinger@mathstat.dal.ca (Peter Selinger) NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1316716302 15310 80.91.229.12 (22 Sep 2011 18:31:42 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 22 Sep 2011 18:31:42 +0000 (UTC) To: categories@mta.ca (Categories List) Original-X-From: majordomo@mlist.mta.ca Thu Sep 22 20:31:38 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.30]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1R6o3d-0007gO-Au for gsmc-categories@m.gmane.org; Thu, 22 Sep 2011 20:31:37 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:50269) by smtpx.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1R6o2C-000702-Pp; Thu, 22 Sep 2011 15:30:08 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1R6o2B-0006S1-3X for categories-list@mlist.mta.ca; Thu, 22 Sep 2011 15:30:07 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6911 Archived-At: 8th workshop on QUANTUM PHYSICS AND LOGIC (QPL 2011) Nijmegen, October 27-29, 2011. http://qpl.science.ru.nl/ Call for participation * This event will bring together researchers working on mathematical foundations of quantum physics, quantum computing and information, 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. Over the past few years, there has been growing activity in these foundational approaches, together with a renewed interest in the foundations of quantum theory, which complement the more mainstream research in quantum computation. REGISTRATION AND LOCAL INFORMATION: Please register for the workshop by October 3, 9:00 CET. The organizers need the number of participants in order to make proper arrangements. Information on registration, travel, and accommodations can be found on the workshop website at http://qpl.science.ru.nl/. 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. Invited Speakers: Hans Maassen (Nijmegen) Urs Schreiber (Utrecht) Rob Spekkens (Perimeter Institute) List of accepted talks: Samson Abramsky and Shane Mansfield. "The Cohomology of Non-Locality and Contextuality: Preliminary Version" James Barratt. "On the Automation of Encoding Processes in the Quantum IO Monad" Jacob Biamonte, Stephen R. Clark and Dieter Jaksch. "Categorical Tensor Network States" Bob Coecke and Chris Heunen. "Pictures of complete positivity in arbitrary dimension" 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" 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" Ichiro Hasuo and Naohiko Hoshino. "Semantics of Higher-Order Quantum Computation via Geometry of Interaction" Chris Heunen and Sergio Boixo. "Completely positive classical structures and sequentializable quantum protocols" 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" Jorik Mandemaker and Bart Jacobs. "The expectation monad" 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?" Yun Shang, Xian Lu and Ruqian Lu. "Turing machine based on unsharp quantum logic" Susan Stepney, Viv Kendon, Peter Hines and Angelika Sebald. "A Framework for Heterotic Computing" Benno Van Den Berg and Chris Heunen. "No-go theorems for functorial localic spectra of noncommutative rings" 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" Program committee: Thorsten Altenkirch (Nottingham) John Baez (UC Riverside and CQT Singapore) Dan Browne (UCL - London) Bob Coecke (Oxford) Giulio Chiribella (Perimeter Institute) Andreas D=C3=B6ring (Oxford) Simon Gay (University of Glasgow) Bart Jacobs (Nijmegen, co-chair) Prakash Panangaden (McGill) Simon Perdrix (CNRS - Grenoble) Mehrnoosh Sadrzadeh (Oxford) Peter Selinger (Dalhousie, co-chair) Bas Spitters (Nijmegen) Local organizers: Bart Jacobs (co-chair) Bas Spitters (co-chair) Klaas Landsman Dion Coumans Hans Maassen Jorik Mandemaker Michael M=C3=BCger Sander Wolters Steering committee: Bob Coecke (Oxford) Prakash Panangaden (McGill) Peter Selinger (Dalhousie) Previous meetings: Previous QPL workshops were held in Ottawa (2003), Turku (2004), Chicago (2005), Oxford (2006), Reykjavik (2008), Oxford (2009), Oxford (2010). Sponsors: We gratefully acknowledge financial support from: * The EPSRC Network on Computer Science and Physics (C/\P) * The Netherlands Organisation for Scientific Research (NWO) Website: http://qpl.science.ru.nl/ (Workshop Homepage) * Contact: For more information, please contact Bart Jacobs and Peter Selinger at qpl11@easychair.org. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]