6th QPL workshop

**
Quantum Physics and Logic
**

*April 8-9, 2009, Oxford University, UK *

**WEDNESDAY 8 APRIL PROGRAM**

**9:30 - 10:30 INVITED**

**Reinhard Werner:***Systems and subsystems*

**11:00 - 12:30 QUANTUM-LIKE THEORIES IN TENSOR CATEGORIES**

**Alex Wilce:***Symmetry and composition in probabilistic theories*

**Jamie Vicary:***Categorical properties of the complex numbers*

**Bob Coecke, Bill Edwards and Rob Spekkens:***The group-theoretic origin of non-locality for qubits*

**14:00 - 15:00 INVITED**

**Joachim Kock:***Feynman graphs and compact multicategories*

**Dusko Pavlovic:***Relating toy models of quantum computation*

**Anne Preller and Mehrnoosh Sadrzadeh:***Bell states and negation in natural languages*

**16:30 - 17:45 STRUCTURES FOR QUANTUM SPACE-TIME**

**Tim Palmer:***The invariant set hypothesis: a new geometric framework for the foundations of quantum theory and the role played by gravity*

**Andreas Doering:***Topos quantum logic and mixed states*

**P. R. Crompton:**(short)*A quiver gauge theory and toric variety route to entanglement entropy*

**9:30 - 10:30 INVITED**

**Mauro D'Ariano:***Towards an operational derivation of quantum mechanics*

**11:00 - 12:30 (CATEGORICAL) QUANTUM LOGIC**

**John Harding:***A link between quantum logic and categorical quantum mechanics*

**Chris Heunen and Bart Jacobs:***Quantum logic in dagger categories with kernels*

**Alexandru Baltag and Sonja Smets:***Correlated Information: a logic for multi-partite quantum systems*

**14:00 - 16:00 QUANTUM COMPUTING AND INFORMATION**

**Tanner Crowder and Keye Martin:***Classical representations of qubit channels*

**Sina Salek, Fatemeh Seifan and Elham Kashefi:***Programmable Hamiltonian for one-way patterns*

**Ross Duncan and Simon Perdrix:***Graphs states and the necessity of Euler decomposition*

**James R. Wootton and Jiannis K. Pachos:***Universal quantum computation with abelian anyon models*

**16:30 - 17:45 QUANTUM CALCULI**

**L. de Francesco Albasini, N. Sabadini and R.F.C. Walters:**(short)*An algebra of automata which includes both classical and quantum entities*

**Quanlong Wang, Baoshan Wang and Yongjun Wang:**(short)*Graphical calculus for the BB84 protocol*

**Farid Ablayev and Alexander Vasiliev:**(short)*Algorithms for quantum branching programs based on fingerprinting*

**Pablo Arrighi and Alejandro Diaz-Caro:**(short)*Scalar system F for linear-algebraic lambda-calculus: towards a quantum physical logic?*

**Ugo Dal Lago, Andrea Masini and Margherita Zorzi:**(short)*Confluence results for a quantum lambda calculus with measurements*