Workshop Goal:

This workshop aims to shed light on models of social reasoning that take into account realistic 
resource bounds. People reason about other people?s mental states in order to understand and 
predict the others? behavior. This capability to reason about others? knowledge, beliefs and 
intentions is often referred to as ?theory of mind?. Idealized rational agents are capable of 
recursion in their social reasoning, and can reason about phenomena like common knowledge. 
Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI 
(belief, goal, intention) logics and by epistemic game theory. However, in real-world situations,
many people seem to lose track of such recursive social reasoning after only a few levels.
The workshop provides a forum for researchers that attempt to analyze, understand and model how 
resource-bounded agents reason about other minds.

Topics of interest include but are not limited to:

-Logics modeling human social cognition; -Computational cognitive models of theory of mind; 
-Behavioral game theory; -Bounded rationality in epistemic game theory; -Relations between 
language and social cognition; -Models of the evolution of theory of mind; -Models of the 
development of theory of mind in children; -Bounded rationality in multi-agent systems; 
-Formal models of team reasoning; -Theory of mind in specific groups, e.g., persons with 
autism spectrum disorder; -Complexity measures for reasoning about other minds.

Invited Speakers:

-Chris Baker, Massachusetts Institute of Technology -Barbara Dunin-Keplicz, Warsaw University 
and Polish Academy of Sciences -Petra Hendriks, University of Groningen

Deadline CFP: Please send your submission in PDF format, not exceeding 10 double-spaced pages 
(4,000 words) by Wednesday May 4, 2011. If needed due to space reasons, technical material 
such as proofs may be added in an appendix of at most 5 pages. The PDF files have to be uploaded
online via the workshop's submission website: https://www.easychair.org/account/signin.cgi?ReasoningMinds-2011

The author notification date is Friday May 27, 2011. 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 soon.

After the workshop, selected authors will be invited to submit a revised and extended version of 
their paper for a special issue of Synthese / Knowledge, Rationality and Action, devoted to on 
Reasoning about other minds, to appear in 2012.

Programme Committee:

-Rineke Verbrugge (University of Groningen, chair) -Jan van Eijck (CWI Amsterdam, vice-chair) 
-Johan van Benthem (University of Amsterdam and Stanford University) -Robin Clark (University 
of Pennsylvania) -Hans van Ditmarsch (University of Sevilla) -Peter Gärdenfors (Lund University)
-Sujata Ghosh (University of Groningen) -Noah Goodman (Stanford University) -Bart Hollebrandse 
(University of Groningen) -Eric Pacuit (Tilburg University and University of Maryland) 
-Rohit Parikh (City University of New York) -Jun Zhang (University of Michigan)

The workshop will be held on the day before TARK XIII, The Thirteenth Conference on Theoretical 
Aspects of Rationality and Knowledge. A workshop on Quantum physics meets TARK will be held on the day after TARK, Friday 15 July.
http://www.tark2011.org

It is already possible to register for the complete event, including TARK and two workshops, Monday
11 July - Friday 15 July.
Early bird registration until May 31: euro 225,- (euro 125,- for MSc and PhDstudents)
http://www.philos.rug.nl/TARK2011/registration.html

TARK local organizers at the University of Groningen:
Sonja Smets and Rineke Verbrugge (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 (NWO), in particular the Vici 
project: Cognitive systems in interaction: Logical and computational models of higher-order 
theory of mind and the Royal Netherlands Academy of Arts and Sciences (KNAW).