[TYPES/announce] QPL 2011 workshop, Nijmegen, Oct 27-29

[Peter Selinger]

The following annoucement may be of interest to some type theorists.
One of the focuses of this workshop is semantics for quantum
computing, including type systems.

	 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 at 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 at easychair.org.