Logical Aspects of Quantum Information

The topic of this workshop is the emerging interaction between quantum information and logic in computer science. On the quantum side, the areas participating include non-local and contextual games, contextuality as a resource for information processing tasks, and the analysis of local versus global consistency in quantum information settings. On the logic side, the areas participating include constraint satisfaction, the descriptive complexity of the isomorphism problem, dependence logic, inquisitive logic, and provenance in databases.

The aim of the proposed workshop is to bring together researchers, both junior and senior, from these different communities in an effort to communicate state-of-the-art advances, strengthen the existing interaction, create new bridges between the different areas, and identify a set of challenges and directions for future research.