From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7368A7F8FC for ; Mon, 9 Jun 2014 22:21:26 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of L.C.Verbrugge@rug.nl) identity=pra; client-ip=129.125.60.106; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="L.C.Verbrugge@rug.nl"; x-sender="L.C.Verbrugge@rug.nl"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of L.C.Verbrugge@rug.nl designates 129.125.60.106 as permitted sender) identity=mailfrom; client-ip=129.125.60.106; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="L.C.Verbrugge@rug.nl"; x-sender="L.C.Verbrugge@rug.nl"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp25.rug.nl) identity=helo; client-ip=129.125.60.106; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="L.C.Verbrugge@rug.nl"; x-sender="postmaster@smtp25.rug.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgEAMEWllOBfTxql2dsb2JhbABZgkaBGatGmRABgRIWDwEBAQEBCBYHPIQEAQUdSwoHEBkfGSE2BgESiC4DEQ3FaA2FRxeFXYV0aRCBSlQEBwqDIYEWBJYXghCIcIZWiTc7L4EB X-IPAS-Result: AmgEAMEWllOBfTxql2dsb2JhbABZgkaBGatGmRABgRIWDwEBAQEBCBYHPIQEAQUdSwoHEBkfGSE2BgESiC4DEQ3FaA2FRxeFXYV0aRCBSlQEBwqDIYEWBJYXghCIcIZWiTc7L4EB X-IronPort-AV: E=Sophos;i="4.98,1003,1392159600"; d="scan'208,217";a="79200108" Received: from smtp25.rug.nl ([129.125.60.106]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 09 Jun 2014 22:21:25 +0200 Received: from [192.168.2.3] ([172.23.16.211]) (authenticated bits=0) by smtp25.rug.nl (8.14.7/8.14.7) with ESMTP id s59KI91k017828; Mon, 9 Jun 2014 22:18:09 +0200 Content-Type: multipart/alternative; boundary="Apple-Mail=_F3EF4F6C-D5E4-4DDC-BA81-217B99F79A39" Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) From: Rineke Verbrugge In-Reply-To: <5F0BA290-9B90-46AB-99DD-DBE158F5104E@ai.rug.nl> Date: Mon, 9 Jun 2014 22:18:08 +0200 Cc: 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, 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 Message-Id: <94ECAD96-DC98-4FBC-9E02-07F4143FACBC@rug.nl> References: <5F0BA290-9B90-46AB-99DD-DBE158F5104E@ai.rug.nl> To: Rineke Verbrugge , nvti-list@cwi.nl X-Mailer: Apple Mail (2.1510) X-Virus-Scanned: clamav-milter 0.98.1 at smtp25 X-Virus-Status: Clean X-Validation-by: l.c.verbrugge@rug.nl Subject: [Caml-list] CfP workshop 'Reasoning about other minds', Groningen, 4-5 August, 2014 --Apple-Mail=_F3EF4F6C-D5E4-4DDC-BA81-217B99F79A39 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 **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 in= to account realistic resource bounds. People reason about other people=92s = mental states in order to understand and predict the others=92 behavior. Th= is capability to reason about others=92 knowledge, beliefs and intentions i= s often referred to as =91theory of mind=92. Idealized rational agents are = capable of recursion in their social reasoning, and can reason about phenom= ena 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 o= f such recursive social reasoning after only a few levels. Cognitive scient= ists build computational models of social reasoning, for example, recently = an "inverse planning" model based on Bayesian inference frameworks has prov= en successful in modeling human inferences about the goals and beliefs unde= rlying other people's observed behavior. The workshop provides a forum for researchers that attempt to analyze, unde= rstand 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.n= l/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 diso= rder; -Complexity measures for reasoning about other minds. The Tuesday morning session is organized in cooperation with 'Advances in M= odal Logic' (see http://www.philos.rug.nl/AiML2014/) and will include an in= vited 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 exceedi= ng 4 double-spaced pages (1,500 words) by Tuesday July 1, 2014. The PDF fil= es have to be uploaded online via the workshop's submission website https:= //www.easychair.org/conferences/?conf=3Dreasoningminds2014 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 th= e workshop, to be collected in an online workshop proceedings collection th= at we are setting up. Further details about the proceedings will be made av= ailable soon. After the workshop, selected authors will be invited to submit a revised an= d extended version of their paper for a special issue of a relevant journal= , to be decided.=20 Sponsor: The Netherlands Organization for Scientific Research, in particula= r the Vici project: =91Cognitive systems in interaction: Logical and comput= ational models of higher-order theory of mind=92, awarded to Rineke Verbrug= ge.=20 Program chairs: Rineke Verbrugge (University of Groningen), l.c.verbrugge@rug.nl Jakub Szymanik (University of Amsterdam), jakub.szymanik@gmail.com --Apple-Mail=_F3EF4F6C-D5E4-4DDC-BA81-217B99F79A39 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=windows-1252
**Apologies for multiple postings**

CALL FOR PAPERS

WORKSHOP: Reasoning about other minds: Logical and cognitive pe= rspectives
Groningen, the Netherlands, <= span class=3D"" tabindex=3D"0">Monday 4 August and Tuesday morning 5 August,  2014

This workshop aims to shed = light on models of social reasoning that take into account realistic resour= ce bounds. People reason about other people=92s mental states in order to u= nderstand and predict the others=92 behavior. This capability to reason abo= ut others=92 knowledge, beliefs and intentions is often referred to as =91t= heory of mind=92. Idealized rational agents are capable of recursion in the= ir social reasoning, and can reason about phenomena like common knowledge. = Such idealized social reasoning has been modeled by modal logics such as ep= istemic logic and BDI (belief, goal, intention) logics. However, in real-wo= rld situations, many people seem to lose track of such recursive social rea= soning after only a few levels. 

The workshop provides a forum for rese= archers that attempt to analyze, understand and model how resource-bounded = agents reason about other minds. The workshop is a follow-up on the worksho= p that was collocated with TARK 2011 in Groningen, see http://www.ai.rug.n= l/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:
-Computational cognitive models of = theory of mind;
-Epistemic game theory;
-Behavioral game theory;
-Relations between lan= guage 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 implementa= tion of social cognition;
-Bounded rationality in multi-agent systems;
-Formal mode= ls of team reasoning;
-Theory of mind in specific groups, e.g., persons with au= tism spectrum disorder;
-Complexity measures for reasoning about other minds.

<= /div>
The&= nbsp;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 Halp= ern as well as contributed AiML presentations that are relevant for 'Reason= ing about other Minds'.

Invited Speakers for Monday, 4 August: to be announced

Deadline CFP: Please send yo= ur 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/conferen= ces/?conf=3Dreasoningminds2014

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 t= he workshop, to be collected in an online workshop proceedings collection t= hat we are setting up. Further details about the proceedings will be made a= vailable soon.

After the workshop, selected authors will be invited to sub= mit a revised and extended version of their paper for a special issue of a = relevant journal, to be decided. 

Sponsor:<= span class=3D"Apple-style-span" style=3D"font-size: 14px; "> The Netherlands Organization for Scientific Research, in partic= ular the Vici project: =91Cognitive systems in interaction: Logical and com= putational models of higher-order theory of mind=92, awarded to Rineke Verb= rugge. 

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

= --Apple-Mail=_F3EF4F6C-D5E4-4DDC-BA81-217B99F79A39--