CALL FOR PAPERS
LOGICAL METHODS FOR SOCIAL CONCEPTS (LMSC'09)
workshop organized as part of
European Summer School on Logic, Language and Information
20-25 July, 2009 in Bordeaux
("herzig at irit.fr") and
("lorini at irit.fr")
Both computer science and the social sciences are interested in social concepts such as power, cooperation, responsibility, delegation, trust, reputation, convention, agreement, commitment, etc. The aim of this workshop is to study whether logical approaches developed in the multi-agent system (MAS) domain are adequate to express them in an accurate way. In particular, are existing logical approaches sufficiently expressive to capture the main features of these social concepts? Are the basic assumptions in the existing logics for MAS too strong to capture the fundamental aspects of social phenomena? Are some concepts relevant for social theory missing in these logics?
The workshop is intended to bring together logicians and social theorists in order to provide a better understanding of the potentialities and limitations of logical methods for the analysis of social reality. Its scope includes not only the technical aspects of logics for multi-agent systems, but also multidisciplinary aspects from social sciences (e.g. economics, sociology, social philosophy) and a critical analysis of the existing logical frameworks for the specification of social concepts.
The following are some examples of topics that are relevant for the workshop:
- Logics of individual and collective powers;
- Logical approaches to game theory;
- Dynamic epistemic logics and logics of communication;
- Logics of normative systems and institutions;
- Logical approaches to trust and reputation;
- Logical approaches to organizational concepts (e.g. roles, responsibility, delegation);
- Logics of social commitment and collective attitudes (e.g. common belief and common knowledge, collective acceptance, joint intentions);
- Logics for mechanism design.
Workshop Programme Committee:
Johan van Benthem
Hans van Ditmarsch
Andreas Herzig (co-chair), IRIT-CNRS, Toulouse
Wiebe van der Hoek
Emiliano Lorini (co-chair), IRIT-UPS, Toulouse
Leon van der Torre
Authors are invited to submit an extended abstract presenting an approach which is relevant to the area of logic for multi-agent systems. Extended abstract should have a maximum of 5 pages. The following formats are accepted: PDF, PS, Word. (Latex-generated papers are preferred.) Please send your submission electronically to both program chairs by the deadline listed below. The submissions will be reviewed by the workshop’s program committee and additional reviewers. The accepted papers will appear in the workshop proceedings published by ESSLLI. The format for the final versions will be made available in due course.
A special issue of the Journal of Philosophical Logic is planned
based on selected papers presented at the workshop, of which full versions
will be independently reviewed.
Submissions: March 4, 2009 (extended)
Notification: April 21, 2009 (delayed)
Preliminary programme: April 24, 2009
ESSLLI early registration: May 1, 2009
Final papers for proceedings: May 15, 2009
Final programme: June 15, 2009
Workshop dates: July 20-31, 2009
All workshop participants including the presenters will be
required to register for ESSLLI. The registration fee for
authors presenting a paper will correspond to the early
student/workshop speaker registration fee. Moreover, a
number of additional fee waiver grants will be made
available by the OC on a competitive basis and workshop
participants are eligible to apply for those.
There will be no reimbursement for travel costs and
accommodation. Workshop speakers who have difficulty
in finding funding should contact the local organizing
committee to ask for the possibilities for a grant.
About the workshop: https://www.irit.fr/~Andreas.Herzig/Esslli09
About ESSLLI: http://esslli2009.labri.fr