Workshop Organizers:
Bob Coecke (co-chair)
Ian Mackie (proposer)
Prakash Panangaden (co-chair)

Program Committee:
Howard Barnum (Los Alamos)
Dan Browne (UC London)
Bob Coecke (Oxford)
Vincent Danos (Edinburgh)
Andreas Doering (IC London)
Viv Kendon (Leeds)
Annick Lesne (IHS Paris)
Ian Mackie (LIX Paris)
Prakash Panangaden (McGill)
Jon Yard (Los Alamos)

Invited speakers:
Terry Rudolph (IC London)
Andreas Winter (Bristol)

Deadlines:
Jun 15: Corrected papers due

SATURDAY 12 JULY PROGRAM

9:30 - 10:30 INVITED

• Terry Rudolph: Quantum computing, matrix permanents and why Bob Coecke isn't the only person who gets to do quantum mechanics by drawing trivial looking graphs

10:30 - 11:00 BREAK

11:00 - 12:30 QUANTUM INFORMATION THEORY

• Keye Martin: How to randomly flip a quantum bit
  
• Howard Barnum and Alex Wilce: Information processing in convex operational theories: cloning, broadcasting, information-disturbance, bit commitment
  
• Howard Barnum and Alex Wilce: Teleportation protocols in categories of abstract state spaces

12:30 - 14:00 LUNCH

14:00 - 15:30 CATEGORICAL QUANTUM MECHANICS

• Peter Selinger: Finite dimensional Hilbert spaces are complete for dagger compact closed categories
  
• Jamie Vicary: Categorical formulation of C*-algebras
  
• Bob Coecke and Bill Edwards: Toy quantum categories

15:30 - 16:00 BREAK

16:00 - 17:30 QUANTUM LAMBDA CALCULUS

• Alejandro Diaz-Caro, Pablo Arrighi, Manuel Gadella and Jonathan Grattage: Measurements and confluence in quantum lambda calculus with explicit qubits
  
• Benoit Valiron: On quantum and probabilistic linear lambda-calculi
  
• Yannick Delbecque: Game semantics for lambda-calculus with quantum data

17:30 - 18:00 DISCUSSION

SUNDAY 13 JULY PROGRAM

10:30 - 11:00 BREAK

11:00 - 12:30 (QUANTUM) COMPUTATIONAL MODELS

• Hans Briegel and Maarten Van den Nest: Measurement-based quantum computation and undecidable logic
  
• Simon Perdrix: Partial observation of quantum Turing machine and weaker well-formedness condition
  
• Ed Blakey: Computational complexity in non-Turing models of computation - the What, the Why and the How

12:30 - 14:00 LUNCH

14:00 - 15:30 SHORT TALKS

• Larisse D. Voufo, Gerardo Ortiz and Amr Sabry: Quantum circuits: from a network to a one-way model
  
• Ellie D'Hondt and Mehrnoosh Sadrzadeh: Classical knowledge for quantum security
  
• Jonathan Grattage: An operational semantics for QML with a concrete implementation
  
• Juliana Kaizer Vizzotto and Andre Rauber Du Bois: Modelling parallel quantum computing using transactional memory
  
• Luca Bernardinello, Lucia Pomello, and Stefania Rombola: On orthomodular posets generated by transition systems

15:30 - 16:00 BREAK

16:00 - 16:30 QUANTUM INFORMATION THEORY II

• Lorenzo Maccone: A quantum solution to the arrow-of-time dilemma

16:30 - 17:30 INVITED

• Andreas Winter: The Mother of All Protocols: Restructuring Quantum Information's Family Tree

17:30 - 18:00 DISCUSSION