QPL 2011 workshop, Nijmegen, Oct 27-29

QPL 2011 workshop, Nijmegen, Oct 27-29

[Peter Selinger]

 	 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öring (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üger
  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/ ]