Quantum Physics and Logic
ICFO, July 17-19 2013
Quantum Physics and Logic
ICFO, July 17-19 2013
Submission Deadline: 21st May Notification of Acceptance: 7th June Papers Ready: 28th June
All deadline times are 9pm in Barcelona (GMT+1).
The conference programme can be found by clicking here.
The invited talks are:
"Randomness and quantum non-locality", Antonio Acin (ICFO, Barcelona) "Is the quantum state epistemic?", Jonathan Barrett (University of Oxford, UK) "Diagram Rewriting", Yves Lafont (l'Universite d'Aix-Marseille, France) "Efficient Clifford+T approximation of unitary operators", Peter Selinger (Dalhousie University, Canada)
There will also be a tutorial on category theory in quantum mechanics by Bob Coecke (University of Oxford, UK).
The contributed talks are:
"From quantum pictures to quantum correlations", Giulio Chiribella and Xiao Yuan "Generalized Probabilistic Theories Without the No-Restriction Hypothesis", Raymond Lal and Peter Janotta "Conjugates, Correlation and the Jordan Structure of Quantum Mechanics", Alexander Wilce "Distinguishability, Ensemble Steering, and the No-Signaling Principle", Joonwoo Bae "Probabilistic models for contextuality scenarios", Ana Belén Sainz "A classification of multipartite states by degree of non-locality", Samson Abramsky and Carmen Constantin "No-Signalling Is Equivalent To Free Choice of Measurements", S. Abramsky, A. Brandenburger and A. Savochkin "Construction of Bell Models from Kochen-Specker Models", Shane Mansfield and Rui Soares Barbosa "Towards a Categorical Account of Conditional Probability", Robert Furber and Bart Jacobs "Resources theories: derivation of the foundational structure", Bob Coecke, Tobias Fritz and Robert Spekkens "Topological Structure of Quantum Algorithms", Jamie Vicary "Completely positive projections and biproducts", Chris Heunen, Aleks Kissinger and Peter Selinger "Pivoting makes the zx-calculus complete for real stabilizers", Ross Duncan and Simon Perdrix "Towards Noncommutative Gelfand Duality", Andreas Doering "Fibred Coalgebraic Logic and Quantum Protocols", Dan Marsden "Categorical characterizations of operator-valued measures", Frank Roumen "Verifying the Steane code with Quantomatic", Ross Duncan and Maxime Lucas "Extensions: from topological to quantum spaces", Nadish de Silva "Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures", Yoshihiro Maruyama "From Functional to Distributional Models", Anne Preller "Type-decomposition of a synaptic algebra", Sylvia Pulmannova