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 multipartite quantum systems
2.
Bob Coecke, Bill Edwards and Robert Spekkens
The grouptheoretic origin of nonlocality 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 oneway 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 DiazCaro
Scalar system F for linearalgebraic lambdacalculus: 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
