[Caml-list] Second CfP TARK-workshop 'Reasoning about other minds', Groningen, 11 July 2011

[Caml-list] Second CfP TARK-workshop 'Reasoning about other minds', Groningen, 11 July 2011

[Rineke Verbrugge]

[-- Attachment #1: Type: text/plain, Size: 4748 bytes --]

**apologies for multiple postings**

Second CALL FOR PAPERS

WORKSHOP : Reasoning about other minds: Logical and cognitive  
perspectives

Groningen, the Netherlands, Monday 11 July 2011
http://www.ai.rug.nl/conf/reasoningminds/

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 PhD students)
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).

Rineke Verbrugge
University of Groningen
Faculty of Mathematics and Natural Sciences,
Institute of Artificial Intelligence
P.O. Box 407
9700 AK Groningen
The Netherlands



[-- Attachment #2: Type: text/html, Size: 16285 bytes --]

[Caml-list] CfP workshop 'Reasoning about other minds', Groningen, 4-5 August, 2014

[Rineke Verbrugge]

[-- Attachment #1: Type: text/plain, Size: 3754 bytes --]

**Apologies for multiple postings**

CALL FOR PAPERS

WORKSHOP: Reasoning about other minds: Logical and cognitive perspectives
Groningen, the Netherlands, Monday 4 August and Tuesday morning 5 August,  2014

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. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. Cognitive scientists build computational models of social reasoning, for example, recently an "inverse planning" model based on Bayesian inference frameworks has proven successful in modeling human inferences about the goals and beliefs underlying other people's observed behavior.

The workshop provides a forum for researchers that attempt to analyze, understand and model how resource-bounded agents reason about other minds. The workshop is a follow-up on the workshop that was collocated with TARK 2011 in Groningen, see http://www.ai.rug.nl/conf/reasoningminds/
(The website of the new workshop will appear shortly at http://www.ai.rug.nl/conf/reasoningminds2/ )

Topics of interest include but are not limited to:

-Logics modeling human social cognition;
-Computational cognitive models of theory of mind;
-Epistemic game theory;
-Behavioral 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;
-Models of the neural implementation of social cognition;
-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.

The Tuesday morning session is organized in cooperation with 'Advances in Modal Logic' (see http://www.philos.rug.nl/AiML2014/) and will include an invited lecture by Joe Halpern as well as contributed AiML presentations that are relevant for 'Reasoning about other Minds'.

Invited Speakers for Monday, 4 August: to be announced

Deadline CFP: Please send your extended abstract in PDF format, not exceeding 4 double-spaced pages (1,500 words) by Tuesday July 1, 2014. The PDF files have to be uploaded online via the workshop's submission website  https://www.easychair.org/conferences/?conf=reasoningminds2014

The author notification date is Monday, July 28, 2014. Authors of accepted abstracts will be expected to upload a full version of their paper after the workshop, to be collected in an online workshop proceedings collection that we are 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 a relevant journal, to be decided. 

Sponsor: The Netherlands Organization for Scientific Research, in particular the Vici project: ‘Cognitive systems in interaction: Logical and computational models of higher-order theory of mind’, awarded to Rineke Verbrugge. 

Program chairs:
Rineke Verbrugge (University of Groningen), l.c.verbrugge@rug.nl
Jakub Szymanik (University of Amsterdam), jakub.szymanik@gmail.com


[-- Attachment #2: Type: text/html, Size: 8420 bytes --]