TITLES OF INVITED TALKS:

Giacomo Mauro D'Ariano
Toward an operational derivation of quantum mechanics

Joachim Kock
Feynman graphs and compact multicategories

Reinhard Werner
Systems and subsystems

PAPERS ACCEPTED FOR 30 MIN FULL PRESENTATION:

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

2. Bob Coecke, Bill Edwards and Robert Spekkens
The group-theoretic origin of non-locality for qubits

3. Tanner Crowder and Keye Martin
Classical representations of qubit channels

4. Andreas Doering
Topos quantum logic and mixed states

5. Ross Duncan and Simon Perdrix
Graphs states and the necessity of Euler decomposition

6. John Harding
A link between quantum logic and categorical quantum mechanics

7. Chris Heunen and Bart Jacobs
Quantum logic in dagger categories with kernels

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

9. Dusko Pavlovic
Relating toy models of quantum computation

10. Anne Preller and Mehrnoosh Sadrzadeh
Bell states and negation in natural languages

11. Sina Salek, Fatemeh Seifan and Elham Kashefi
Programmable Hamiltonian for one-way patterns

12. Jamie Vicary
Categorical properties of the complex numbers

13. Alexander Wilce
Symmetry and composition in probabilistic theories

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

PAPERS ACCEPTED FOR 15 MIN SHORT PRESENTATION:

15. Farid Ablayev and Alexander Vasiliev
Algorithms for quantum branching programs based on fingerprinting

16. L. de Francesco Albasini, N. Sabadini and R.F.C. Walters
An algebra of automata which includes both classical and quantum entities

17. Pablo Arrighi and Alejandro Diaz-Caro
Scalar system F for linear-algebraic lambda-calculus: towards a quantum physical logic?

18. P. R. Crompton
A quiver gauge theory and toric variety route to entanglement entropy

19. Ugo Dal Lago, Andrea Masini and Margherita Zorzi
Confluence results for a quantum lambda calculus with measurements

20. Quanlong Wang, Baoshan Wang and Yongjun Wang
Detecting eavesdropping by graphic calculus