Local Organizers:
Bob Coecke
Ross Duncan
Clare Horseman
Janet Sadler

Program Committee:
Samson Abramsky (Oxford)
Pablo Arrighi (Grenoble)
Samuel Braunstein (York)
Hans J. Briegel (Innsbruck)
Dan Browne (UCL - London)
Bob Coecke (PC Chair - Oxford)
Vincent Danos (Edinburgh)
Richard Jozsa (Bristol)
Prakash Panangaden (McGill)
Reinhard F. Werner (Hannover)

Registration: If you would like to attend please write Ross Duncan who will keep you informed about logistics.

This event marks the end of the EU FP6 STREP QICS on Foundational Structures in Quantum Computation and Information. It consists on extended tutorials on the main research strands within QICS, namely:

• Structures and methods for measurement-based quantum computation
• Categorical semantics, logics, diagrammatic methods
• Classical-quantum interaction and information flow
• Quantum automata, machines, calculi

Lectures will be given both by senior members of the network as well as by former and current QICS researchers, some of which meanwhile obtained faculty positions. Confirmed lecturers include (more to be announced closer to date):

• Samson Abramsky (Oxford)
  
• Pablo Arrighi (Grenoble)
  
• Howard Barnum (Perimeter)
  
• Jonathan Barrett (Bristol, TBC)
  
• Dan Browne (UCL - London)
  
• Bob Coecke (Oxford)
  
• Ross Duncan (Oxford)
  
• Joe Fitzsimons (Oxford)
  
• Peter Hines (York)
  
• Richard Jozsa (Cambridge)
  
• Akimasa Miyake (Perimeter)
  
• Prakash Panangaden (McGill)
  
• Simon Perdrix (Grenoble)
  
• Sandu Popescu (Bristol)
  
• Peter Selinger (Dalhousie)
  
• Maarten van den Nest (Max-Planck)
  
• Reinhard F. Werner (Hannover)
  
• Andreas Winter (Bristol)
  

THE SCHEDULE, LOCAL, TRAVEL, FOOD AND OTHER USEFUL INFORMATION IS IN THIS .PDF DOCUMENT.

In the program you may recognize the following approximate structure:

Topics that will be covered include:

• measurement-based quantum computing (MBQC); properties of graph states; MBQC and condensed matter physics; blind quantum computation; determinism in MBQC; measurement-based classical computation and non-locality;
• monoidal categories, Frobenius algebras, and their graphical calculus; (co)algebra of complementary observables and multipartite quantum entanglement, and applications to MBQC; phase groups and non-locality;
• classical simulation of quantum circuits; categorical topological quantum computation; graphical calculus for measurements and channels; generalized probabilistic theories; convex operational models and non-locality;
• quantum cellular automata (QCA); QCAs and causality; higher types in quantum computing; quantum logics and quantum machines; colagebraic methods;

The School is followed by the annual workshop on Quantum Physics and Logic.

Financial support. The workshop enjoys support from:
EPSRC ARF The Structure of Quantum Information and its Applications to IT (EP/D072786/1)
EC FP6 STREP Foundational Structures for Quantum Information and Computation (QICS)