7th QPL workshop

**
Quantum Physics and Logic
**

*May 29-30, 2010, Oxford University, UK *

**SATURDAY 29 MAY PROGRAM**

**09:00 - 10:00 John Baez (Invited):** *Duality in Logic and Physics*

**10:00 - 10:30 Bruce Bartlett and Jamie Vicary:** *Compact Categories as dagger-Frobenius Pseudoalgebras*

**10:30 - 11:00 BREAK**

**Session dedicated to Itamar Pitowsky with introduction by
Simon Saunders**

**11:00 - 11:30 Howard Barnum, Carl Philipp Gaebler and Alexander Wilce:** *Ensemble Steering, Weak Self-Duality, and the Structure of Probabilistic Theories*

**11:30 - 12:00 Bob Coecke and Robert W. Spekkens:** *Picturing classical and quantum Bayesian inference*

**12:00 - 12:30 Tanner Crowder and Keye Martin:** *Information theoretic representations of qubit channels*

**12:30 - 14:00 LUNCH**

**14:00 - 15:00 Benjamin Schumacher (Invited):** *What is information? Reversibility and simulation*

**15:00 - 15:30 Howard Barnum, Ross Duncan and Alex Wilce:** *Convexity, Categorical Semantics and the Foundations of Physics*

**15:30 - 16:00 Matthias Kleinmann, Otfried Guehne, Jose Portillo, Jan-Ake Larsson and Adan Cabello:** *Classical simulation of contextuality requires memory beyond the Holevo bound*

**16:00 - 16:15 BREAK**

**16:15 - 16:45 Johnny Feng:** *A Domain of Unital Channels*

**16:45 - 17:15 Christian Herrmann and Martin Ziegler:** *Computational Complexity of Geometric Quantum Logic*

**17:15 - 17:45 Bart Jacobs:** *Involutive Categories and Monoids, with a GNS-correspondence*

**17:45 - 18:15 Chris Heunen:** *Complementarity in categorical quantum mechanics*

**SUNDAY 30 MAY PROGRAM**

**09:00 - 09:30 Peter Selinger:** *Autonomous categories in which A is isomorphic to A**

**09:30 - 10:00 Sanjeevi Krishnan:** *Strict algebraic models of weak omega-categories*

**10:00 - 10:30 Bob Coecke and Ray Lal:** *Causal categories: a backbone for a quantum-relativistic universe of interacting processes*

**10:30 - 11:00 BREAK**

**11:00 - 11:30 Marco Lanzagorta:** *Kinematic Noise*

**11:30 - 12:00 Benjamin Schumacher and Michael D. Westmoreland:** *Isolation and information flow in quantum dynamics*

**12:00 - 12:15 Benjamin Schumacher and Michael D. Westmoreland:** *Modal quantum theory*

**12:15 - 12:30 Mehrnoosh Sadrzadeh:** *A Naive (but algebraic) Maximal Entropic Analysis of BB'84 *

**12:30 - 14:00 LUNCH**

**14:00 - 14:45 John Barrett (Invited):** *State sum models, induced gravity and the spectral action*

**14:45 - 15:15 Vladimir Korepin:** *Reduced Density Matrix in Spin Models*

**15:15 - 15:45 Andreas Doering:** *Some steps towards noncommutative Gel'fand duality*

**15:45 - 16:00 Bas Spitters:** *The space of measurement outcomes as a non-commutative spectrum*

**16:00 - 16:15 BREAK**

**16:15 - 16:45 Bart Jacobs and Jorik Mandemaker:** *Coreflections in Algebraic Quantum Logic*

**16:45 - 17:15 Benoit Valiron:** *Orthogonality and Algebraic Lambda-Calculus*

**17:15 - 18:15 Louis Crane (Invited):** *The category of spacetime regions*