[FOM] WORKSHOP : Quantum Physics meets TARK

[Bart Van Kerkhove]

CALL FOR PAPERS:

WORKSHOP : Quantum Physics meets TARK

Groningen, the Netherlands, Friday 15 July 2011
<http://www.ai.rug.nl/conf/quantumTARK/>http://www.ai.rug.nl/conf/quantumTARK/

Workshop Goal:

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>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.

MAIN WEBSITE : 
<http://www.ai.rug.nl/conf/quantumTARK/>http://www.ai.rug.nl/conf/quantumTARK/

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/>http://www.philos.rug.nl/TARK2011/



Op 5-mrt-2011, om 17:14 heeft 
<mailto:fom-owner at cs.nyu.edu>fom-owner at cs.nyu.edu het volgende geschreven:

>Your request to the FOM mailing list
>
>    Posting of your message titled "CfP: WORKSHOP : Quantum Physics
>meets TARK"
>
>has been rejected by the list moderator.  The moderator gave the
>following reason for rejecting your request:
>
>"Your message contains unacceptable HTML formatting codes. Here is a
>sample of what I see (set off by me with double angle brackets):
>«http://www.liv.ac.uk/pal. <html><head></head><body
>style="word-wrap: break-word; -webkit-nbsp-mode: space;
>-webkit-line-break: after-white-space; "><b><div><span
>class="Apple-style-span" style="font-weight: normal;">CALL FOR
>PAPERS:</span></div><div><span class="Apple-style-span" » Please
>correct and resubmit in plain text, If you find this difficult, please
>send the message directly to me 
><mailto:davism at cs.nyu.edu>davism at cs.nyu.edu, and I will convert
>it to plain text and post it for you. Martin"
>
>Any questions or comments should be directed to the list administrator
>at:
>
>    <mailto:fom-owner at cs.nyu.edu>fom-owner at cs.nyu.edu