-
Introduction to and Historical Overview of Quantum Logics
Alexander Wilce - Susquehanna University
-
-
Operational Quantum Logic
Howard Barnum - University of New Mexico
-
Operational Quantum Logic
Howard Barnum - University of New Mexico
-
-
Introduction to logics as type theories for quantum processes
Samson Abramsky - University of Oxford
-
Preparation contextuality in its myriad forms
Robert Spekkens - Perimeter Institute for Theoretical Physics
-
Information is physical, but physics is logical
Samson Abramsky - University of Oxford
-
-
The logic of quantum actions: reasoning about change in quantum systems
Sonja Smets - Vrije Universiteit Brussel (VUB)
-
Symmetry and quantum logic
Alexander Wilce - Susquehanna University
-
Discrete phase space based on finite fields
William Wootters - Williams College
Both quantum logic (QL) and quantum information (QI) are based on viewing quantum mechanics in terms of concepts closely tied to information, so QL, should be closely connected to QI. On the whole, these two research fields are pursued by separate communities and so a closer collaboration is likely to yield significant insights into both. While taking a broad view of both fields, the workshop will focus on areas that we feel are most likely to spark significant collaboration and new research initiatives.