From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3MJvIhe017833 for ; Fri, 22 Apr 2011 21:57:19 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkcCAHXcsU3VSycKkWdsb2JhbAAmgjyjBBQBAQEBCQsLBxQDIsVJgxKCZASSNAeJWQ X-IronPort-AV: E=Sophos;i="4.64,255,1301868000"; d="scan'208,217";a="97783534" Received: from cpsmtpb-ews07.kpnxchange.com ([213.75.39.10]) by mail2-smtp-roc.national.inria.fr with ESMTP; 22 Apr 2011 21:57:18 +0200 Received: from cpbrm-ews13.kpnxchange.com ([10.94.84.144]) by cpsmtpb-ews07.kpnxchange.com with Microsoft SMTPSVC(6.0.3790.4675); Fri, 22 Apr 2011 21:57:17 +0200 Received: from CPSMTPM-CMT103.kpnxchange.com ([195.121.3.19]) by cpbrm-ews13.kpnxchange.com with Microsoft SMTPSVC(6.0.3790.4675); Fri, 22 Apr 2011 21:57:16 +0200 Received: from [192.168.2.26] ([77.169.154.87]) by CPSMTPM-CMT103.kpnxchange.com with Microsoft SMTPSVC(7.0.6002.18264); Fri, 22 Apr 2011 21:57:16 +0200 Message-Id: <5F0BA290-9B90-46AB-99DD-DBE158F5104E@ai.rug.nl> From: Rineke Verbrugge To: agents@cs.umbc.edu, appsem@disi.unige.it, cmcs@cs.indiana.edu, comlab@comlab.ox.ac.uk, concurrency@cwi.nl, dbworld@cs.wisc.edu, dipartimento@di.unipi.it, eapls@jiscmail.ac.uk, etalle@cs.utwente.nl, focs@comlab.ox.ac.uk, FMxSOCandBPM@cs.unibo.it, gulp-all@yahoogroups.com, hise-safety-critical@minster.cs.york.ac.uk, ic.eatcs@di.unipi.it, ifip@ifip.or.at, ifmsig@cs.tcd.ie, lics@informatik.hu-berlin.de, lics@research.bell-labs.com, m4m@science.uva.nl, nvti-list@cwi.nl, oose@uni-paderborn.de, petrinet@informatik.uni-hamburg.de, resist@laas.fr, SAFE-NL@nic.surfnet.nl, SECURITY@fosad.org, sensoria-core@di.unipi.it, stimdi-rek-subscribe@yahoogroups.com, theory-a@listserv.nodak.edu, theory@cl.cam.ac.uk, theorynt@listserv.nodak.edu, tocai@dis.uniroma1.it, types-announce@lists.seas.upenn.edu, pvs@csl.sri.com, concurrency@tue.nl, ecoop-info@ecoop.org, lprolog@cs.umn.edu, papm@inf.ed.ac.uk, categories@mta.ca, caml-list@inria.fr, cie@maths.leeds.ac.uk Content-Type: multipart/alternative; boundary=Apple-Mail-3-925004322 Mime-Version: 1.0 (Apple Message framework v936) Date: Fri, 22 Apr 2011 21:57:15 +0200 X-Mailer: Apple Mail (2.936) X-OriginalArrivalTime: 22 Apr 2011 19:57:16.0204 (UTC) FILETIME=[7AC5D6C0:01CC0127] X-RcptDomain: inria.fr X-Validation-by: l.c.verbrugge@ai.rug.nl Subject: [Caml-list] Second CfP TARK-workshop 'Reasoning about other minds', Groningen, 11 July 2011 --Apple-Mail-3-925004322 Content-Type: text/plain; charset=WINDOWS-1252; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable **apologies for multiple postings** Second CALL FOR PAPERS WORKSHOP : Reasoning about other minds: Logical and cognitive=20=20 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=20=20 take into account realistic resource bounds. People reason about other=20= =20 people=92s mental states in order to understand and predict the others=92= =20=20 behavior. This capability to reason about others=92 knowledge, beliefs=20= =20 and intentions is often referred to as =91theory of mind=92. Idealized=20= =20 rational agents are capable of recursion in their social reasoning,=20=20 and can reason about phenomena like common knowledge. Such idealized=20=20 social reasoning has been modeled by modal logics such as epistemic=20=20 logic and BDI (belief, goal, intention) logics and by epistemic game=20=20 theory. However, in real-world situations, many people seem to lose=20=20 track of such recursive social reasoning after only a few levels. The workshop provides a forum for researchers that attempt to analyze,=20= =20 understand and model how resource-bounded agents reason about other=20=20 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=20= =20 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=20= =20 10 double-spaced pages (4,000 words) by Wednesday May 4, 2011. If=20=20 needed due to space reasons, technical material such as proofs may be=20=20 added in an appendix of at most 5 pages. The PDF files have to be=20=20 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=20=20 accepted papers will be expected to upload their paper in an online=20=20 workshop proceedings collection that we are currently setting up.=20=20 Further details about the proceedings will be made available soon. After the workshop, selected authors will be invited to submit a=20=20 revised and extended version of their paper for a special issue of=20=20 Synthese / Knowledge, Rationality and Action, devoted to on Reasoning=20=20 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=E4rdenfors (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=20=20 Knowledge. A workshop on Quantum physics meets TARK will be held on the day after=20= =20 TARK, Friday 15 July. http://www.tark2011.org It is already possible to register for the complete event, including=20=20 TARK and two workshops, Monday 11 July - Friday 15 July. Early bird registration until May 31: euro 225,- (euro 125,- for MSc=20=20 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=20=20 Ghosh, Barteld Kooi, Ben Meijering, Bryan Renne, Ben Rodenh=E4user,=20=20 Olivier Roy, Allard Tamminga, Bart Verheij. Sponsors: The Netherlands Organization for Scientific Research (NWO),=20=20 in particular the Vici project: =91Cognitive systems in interaction:=20=20 Logical and computational models of higher-order theory of mind=92 and=20= =20 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 --Apple-Mail-3-925004322 Content-Type: text/html; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable <= div>CALL FOR PAPERS<= /span>

<= span class=3D"Apple-style-span" style=3D"font-weight: normal; font-family: = 'Times New Roman'; font-size: 16px; ">WORKSHOP : Reasoning about other minds: Logical and cognitive perspectives<= /b>
<= br>
Groningen, the Netherlands, Monday 11 July 2011=
Workshop Goal:

This workshop aims to shed light on models of socia= l reasoning that take into account realistic resource bounds. People reason= about other people=92s mental states in order to understand and predict th= e others=92 behavior. This capability to reason about others=92 knowledge, = beliefs and intentions is often referred to as =91theory of mind=92. Ideali= zed rational agents are capable of recursion in their social reasoning, and= can reason about phenomena like common knowledge. Such idealized social re= asoning has been modeled by modal logics such as epistemic logic and BDI (b= elief, goal, intention) logics and by epistemic game theory. However, in re= al-world situations, many people seem to lose track of such recursive socia= l reasoning after only a few levels. 
The workshop provides a forum for researchers that a= ttempt 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 cog= nitive 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 mi= nd in specific groups, e.g., persons with autism spectrum disorder;<= /div>
-Com= plexity measures for reasoning about other minds.

=
Invited Speakers:

-Chris Baker, Massachusetts Institute of Tec= hnology
-Barbara Dunin-Keplicz, Warsaw University and Polish Aca= demy of Sciences
-Petra Hendriks, Universi= ty of Groningen

Deadline CFP: Please send your submission in PDF format, not exceeding 10 doub= le-spaced pages (4,000 words) by Wednesday May 4, 2011. If needed due to sp= ace 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 worksh= op's submission website:

The author notification date= is Friday May 27, 2011. Authors of accepted papers will be expected to upl= oad their paper in an online workshop proceedings collection that we are cu= rrently setting up. Further details about the proceedings will be made avai= lable soon.
After the workshop, selected authors will be invited to subm= it a revised and extended version of their paper for a special issue of Syn= these / Knowledge, Rationality and Action, devoted to on Reasoning about ot= her minds, to appear in 2012. 

Programme Committee: 

-Rineke Verbrugge (University of Groningen, chai= r)
-Jan van Eijck (CWI Amsterdam, vice-chair)
-Johan van Benthem (University of Amsterdam and Stanford University)<= /span>
-Robin Clark (University of Pennsylvania)<= /div>
-Hans van Ditmarsch (University of Sevilla)
=
-Peter G=E4rdenfors (Lund University)
-Sujata Ghosh (University of Groningen)
-Noa= h Goodman (Stanford University)
-Bart Hollebrands= e (University of Groningen)
= -Eric Pacuit (Tilburg= University and University of Maryland)
-Rohit Pa= rikh (City University of New York)
-Jun Zh= ang (University of Michigan)

The workshop will be held on the day before TARK XIII, 
The Thirteenth Confe= rence on Theoretical Aspects of Rationality and Knowledge.
A works= hop on Quantum physics meets TARK will be held on the day after TARK, Frida= y 15 July.

It is al= ready possible to register for the complete event, including TARK and two w= orkshops, Monday 11 July - Friday 15 July. 
Early= bird registration until May 31: euro 225,- (euro 125,- for MSc and PhD stu= dents)
<= br>
TARK local organizers at = the University of Groningen: 
Sonja Smets and Rineke Verbrugge (chairs), Virginie Fiut= ek, Sujata Ghosh, Barteld Kooi, Ben Meijering, Bryan Renne, Ben Rodenh=E4us= er, Olivier Roy, Allard Tamminga, Bart Verheij. 

= Sponsors: The Netherlands Organization for Scientific Research (= NWO), in particular the Vici project: =91Cognitive systems in interaction: = Logical and computational models of higher-order theory of mind=92 and the = Royal Netherlands Academy of Arts and Sciences (KNAW).
<= div style=3D"font-size: medium; ">
=
Rinek= e Verbrugge
University of Groningen
Faculty of Mathematics and Natura= l Sciences,
Institute of Artificial Intelligence
P.O. Box 407
9700= AK Groningen
The Netherlands
 

= --Apple-Mail-3-925004322--