Here is the programme as a single-page PDF.
| 8.30 | Registration; tea/coffee |
| 9.00 | Bob Coecke, University of Oxford, UK Classical and quantum structures Slides |
| 9.40 | Ellie D'Hondt, Vrije Universiteit Brussel, Belgium Distributed leader election |
| 10.20 | Dan Browne, University of Oxford, UK Quantum circuit depth |
| 11.00 | Break; tea/coffee |
| 11.30 | Invited lecture: Paulo
Mateus Security and Quantum Information Group, Institute of Telecommunications, Lisbon, Portugal Exogenous quantum logics |
| 12.45 | Lunch (on site) |
| 13.50 | Peter Ryan, University of Newcastle, UK Spooky voting at a distance |
| 14.30 | Elham Kashefi, University of Oxford, UK Parallelizing quantum circuits |
| 15.10 | Break: tea/coffee |
| 15.40 | Nick Papanikolaou, University of Warwick, UK Towards a model-checker for quantum stabilizer protocols |
| 16.20 | Pablo Arrighi, University of Grenoble / IMAG, France Linear-algebraic lambda-calculus: higher order, encodings, confluence (joint work with Gilles Dowek) Slides Paper |
| 17.00 | End |
| There are several pubs and bars in Ashton Lane and Byres Road (see maps), which might help to fill the interval before dinner. | |
| 19.00 | Dinner at Gong Restaurant, 17 Vinicombe Street |
| 8.30 | Tea/coffee |
| 9.00 | Samson Abramsky, University of Oxford, UK Axiomatics of (no-)cloning and (no-)deleting |
| 9.40 | Bill Edwards, University of Oxford, UK Adding causal structure to categorical QM |
| 10.20 | Dmitri Akatov, University of Oxford, UK Categorical modelling of quantum protocols |
| 11.00 | Break; tea/coffee |
| 11.30 | Invited lecture: Stephen
Barnett Department of Physics, University of Strathclyde, UK. The physics of quantum information processing Slides |
| 12.45 | Lunch (on site) |
| 13.45 | Business meeting |
| 14.00 | Peter Hines, University of York, UK Temperley-Lieb algebras as two-way automata |
| 14.40 | Hynek Mlnarik, Masaryk University, Czech Republic Semantics of the LanQ programming language |
| 15.20 | Thorsten Altenkirch, University of Nottingham, UK The quantum IO monad in Haskell |
| 16.00 | End: tea/coffee |