The aim of this workshop is to explore the connections between traditional TARK topics and Quantum Physics. While TARK traditionally focuses on the theoretical aspects of rationality and knowledge, quantum mechanics and quantum computation focus on the fundamental link between physical reality and informational (knowledge-acquiring) actions, such as observations and measurements. We think one can gain new insights from combining methods and concepts coming from these two lines of research. On the one hand, we are interested in how techniques from quantum physics can help us reason about knowledge or rational decision making. On the other hand, we are interested in how the logical and game-theoretical techniques traditionally associated with TARK (coming from epistemic logic, belief revision, dynamic logic, temporal logic, probabilistic learning, resource-sensitive logics, epistemic game theory, decision-theoretic methods etc.) can be used to formalize physical theories, reason about their concepts or their applications, and provide some principled understanding of their foundations.
Topics of interest include but are not limited to:
* classical correlations versus quantum correlations;
* classical games versus quantum games;
* classical information flow versus quantum information flow;
* logical methods for quantum computation;
* quantum logic and its relation to logics of knowledge and action;
* the use of quantum methods and concepts in decision theory, game theory and logic;
* game-theoretical logical semantics and foundations of quantum mechanics.
Invited Speakers:
* Samson Abramsky (Oxford University)
* Adam Brandenburger (Stern School of Business, New York)
Deadline CfP: Please send your submission in PDF format, not exceeding 10 double-spaced pages (4,000 words) by Wednesday May 4, 2011. The PDF - files have to be uploaded online via the workshop's submission website: https://www.easychair.org/account/signin.cgi?conf=quantumtark2011
Authors will be notified of acceptance by Friday, May 27. Authors of accepted papers will be expected to upload their paper in an online workshop proceedings collection that we are currently setting up. Further details about the proceedings will be made available on the conference website soon.
Program Committee:
* Sonja Smets (University of Groningen, Chair)
* Samson Abramsky (Oxford University)
* Alexandru Baltag (Oxford University)
* Adam Brandenburger (Stern School of Business, New York)
* Jerome Busemeyer (Indiana University)
* Pierfrancesco La Mura (Leipzig Graduate School of Management )
* Daniel Lehmann (The Hebrew University of Jerusalem)
* Alessandra Palmigiano (University of Amsterdam)
* Prakash Panangaden (McGill University)
* Alex Wilce (Susquehanna University)
TARK Local Organizers at the University of Groningen:
Rineke Verbrugge and Sonja Smets (chairs), Virginie Fiutek, Sujata Ghosh, Barteld Kooi, Ben Meijering, Bryan Renne, Ben Rodenhäuser, Olivier Roy, Allard Tamminga, Bart Verheij.
Sponsors: The Netherlands Organization for Scientific Research, The VIDI Project: ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’
The workshop follows one day after TARK XIII, The Thirteenth conference on Theoretical Aspects of Rationality and Knowledge: http://www.philos.rug.nl/TARK2011/
