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
10:30 - 11:00 BREAK
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
12:30 - 14:00 LUNCH
14:00 - 15:00 INVITED
- Joachim Kock: Feynman graphs and compact multicategories
15:00 - 16:00 TENSOR CATEGORICAL MODELS
- Dusko Pavlovic: Relating toy models of quantum computation
- Anne Preller and Mehrnoosh Sadrzadeh: Bell states and negation in natural languages
16:00 - 16:30 BREAK
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
THURSDAY 9 APRIL PROGRAM
9:30 - 10:30 INVITED
- Mauro D'Ariano: Towards an operational derivation of quantum mechanics
10:30 - 11:00 BREAK
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
12:30 - 14:00 LUNCH
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:00 - 16:30 BREAK
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
Last modified: March 30, 2009
by Bob Coecke