Workshop goal
-------------
Describing intelligent agents with the help of cognitive and social notions is now well established in the domain of artificial intelligence. In the recent years, concepts such as trust, reputation, delegation, commitment and convention have been proposed in order to describe how artificial agents interact in an artificial society or in a virtual organization. This workshop aims at discussing formal theories and logics of information dynamics—including formal theories and logics of belief and preference change, learning theory, social choice theory and judgment aggregation—
in order to better understand: - how information circulates in an artificial society by direct interaction, communication, signaling, etc.; how it affects trust; - how it contributes to the construction of reputation and collective attitudes (e.g., mutual beliefs, social agreements), and to the emergence of conventions.

The workshop is an associated event of IJCAI-13 and will take place on August 3-5 2013, Beijing, China.


Call for Papers
---------------
This workshop aims at discussing formal theories and logics of information dynamics, including formal theories and logics of belief and preference change, learning theory, social choice theory and judgment aggregation. Its Its scope includes not only the technical aspects of logics, but also multidisciplinary aspects from social sciences (economics, social psychology and sociology), social epistemology and linguistics.
By focusing on the foundational issues of (i) information dynamics and (ii) trust representation, the workshop will provide a better understanding of
key issues such as: are the belief change techniques relevant for modeling trust dynamics? What is the role of communication in trust's breakdown and repair?
How information propagates in a social network or in a multi-agent system? What are the consequences in terms of reputation and trust dynamics?
Are existing formal theories of belief change and existing formal theories of learning relevant for modeling the dynamics of conventions?

Scope
-----
Topics of interest include:
Reasoning about trust and reputation
Belief change
Formal theories of lying and deception
Social choice theory
Judgment aggregation
Reasoning about action and change
Trust in virtual organizations
Theories of signaling
Theories of conventions
Learning theory
Epistemic game theory
Speech act theory
Dynamic epistemic logic (DEL)
Logics of agency
Preference dynamics
Theories of delegation
Social network theory
As shown by the previous topics, the workshop has an multidisciplinary nature, it covers not only research in AI but also research in economics, philosophy of interaction, sociology, social psychology and linguistics.


Invited speakers
----------------
Carles Sierra (CSIC - Spain)
Fenrong Liu (Tsinghua University - China)



Program Committee
-----------------
Workshop chairs
***************
Hans van Ditmarsch LORIA - Univ. of Lorraine (France)
Emiliano Lorini IRIT - Univ. de Toulouse (France)
Laurent Perrussel IRIT - Univ. de Toulouse (France)

PC members
**********
Thomas Agotnes (Uni. of Bergen - Norway)
Guillaume Aucher (IRISA - Uni. of Rennes - France)
Jan Broersen (Utrecht Uni. - The Netherlands)
Jim Delgrande (Uni. of Toronto - Canada)
Robert Demolombe (IRIT - Uni. of Toulouse - France)
Rino Falcone (ISTC - Roma - Italy)
Nina Gierasimczuk (Uni. of Amsterdam - The Netherlands)
Davide Grossi (Uni. of Liverpool - UK)
Andreas Herzig (IRIT - Uni. of Toulouse - France)
Wiebe van der Hoek (Uni. of Liverpool - UK)
Andrew Jones (King's college London - UK)
Barteld Kooi (Uni. of Groningen - The Netherlands)
Tiago de Lima (CRIL - Uni. of Artois - France)
Fenrong Liu (Tsinghua Uni. - China)
Eric Pacuit (Uni. of Maryland - USA)
Fabio Paglieri (ISTC - Roma - Italy)
Henri Prade (IRIT - Uni. of Toulouse - France)
Francesca Rossi (Uni. of Padova - Italy)
Jordi Sabater (IIIA-CSIC - Barcelona - Spain)
Jeremy Seligman (Auckland Uni. - New Zealand)
Carles Sierra (IIIA-CSIC - Barcelona - Spain)
Sonja Smets (Uni. of Amsterdam - The Netherlands)
Allard Tamminga (Uni. of Groningen - The Netherlands)
Michael Tielscher (Uni of New South Wales - Australia)
Leon van der Torre (Uni. of Luxembourg - Luxembourg)
Nicolas Troquard (ISTC - Trento - Italy)
Luca Tummolini (ISTC - Roma - Italy)
Rineke Verbrugge (Uni. of Groningen - The Netherlands)
Renata Wasserman (Uni. of Sao Paulo - Brazil)
Yanjing Wang (Peking Uni. - China)

Submission
----------
Interested authors should format their papers according to IJCAI formatting guidelines. Submitted papers might be at the time of submission under review or accepted for publication in a journal or another conference.
Papers should not exceed 7 pages and are due by April 19, 2013. All papers will be reviewed by at least two reviewers. Papers must be submitted as PDF through the EasyChair conference system:https://www.easychair.org/conferences/?conf=itdasijcai13.
The proceedings of ITDAS-13 workshop will be published in an informal on the workshop website. An author of each accepted paper is required to register, attend, and present the paper at ITDAS@IJCAI-13.
The Journal of Applied Non-Classical Logic will publish a special issue devoted to extended versions of selected papers.


Key dates
---------
Submission deadline April 19, 2013
Acceptance notification May 20, 2013
Camera ready June 1st, 2013
Workshop August 3–5, 2013


Sponsorship
----------
This workshop will form part of the coordination activities of SINTELNET (http://www.sintelnet.eu/), the European Network for Social intelligence (FP7-286370), within the Working Group co-chaired by Emiliano Lorini.
With the the help of SINTELNET, the workshop will welcome two invited speakers.