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