Monday 10 December
Coffee and Welcome
Quantum computing with trapped ions (Invited Talk)
Winfried Hensinger
Coffee break
Phase transition of computational power in the resource states for one-way quantum computation
Dan Browne
Quantum Parallel Computation in the Phase Space
Vladimir V. Kisil
Lunch
Comparing Two Approaches to Categorical Quantum Mechanics
Samson Abramsky
True quantumness
Bob Coecke
Hamiltonian Ground State Classical Spin Logic
J.D. Biamonte (Oxford)
Tea
Maximally entangled pure states
Stephen Brierley
A Graphical Calculus for Quantum Observables
Ross Duncan
Workshop Dinner
Tuesday 11 December
Extreme quantum nonlocality (Invited Talk)
Adan Cabello
Coffee
Shor in Haskell
Thorsten Altenkirch & Alexander Green
Declarative Quantum Programming
Alessandra Di Pierro and Herbert Wiklicky
Quantum Entanglement Analysis based on Abstract Interpretation
Simon Perdrix
Lunch
An epistemic measurement system for quantum security
Mehrnoosh Sadrzadeh
Model Checking a Quantum Protocol: Theory, Implementation and Issues
Nick Papanikolaou
Quantum security via process calculus
Simon Gay
Close and depart