[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP Workshop Logical Methods for Social Concepts @ ESSLLI 2009



* Call for papers: Workshop Logical Methods for Social Concepts (LMSC) *

20-31 July, 2009 in Bordeaux

workshop organized as part of ESSLLI 2009 (http://esslli2009.labri.fr)

webpage: http://www.irit.fr/~Andreas.Herzig/Esslli09/


Workshop Purpose:

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.


Workshop Topics:

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 Organizers:
Andreas Herzig <http://www.irit.fr/~Andreas.Herzig> and Emiliano Lorini
<http://www.irit.fr/~Emiliano.Lorini>


Invited speakers:

- Alexandru Baltag, Oxford University
- Rineke Verbrugge, University of Groningen


Workshop Programme Committee:

Thomas Ågotnes, Johan van Benthem, Guido Boella, Jan Broersen, Cristiano
Castelfranchi, Pilar Dellunde, Frank Dignum, Nicola Dimitri, Hans van
Ditmarsch, Davide Grossi, Andreas Herzig (co-chair), Wiebe van der Hoek,
Jeff Horty, Andrew Jones, Jérôme Lang, Emiliano Lorini (co-chair),
Claudio Masolo, John-Jules Meyer, Matthias Nickles, Eric Pacuit, Henry
Prakken, Antonino Rotolo, Lambèr Royakkers, Nicolas Troquard, Raimo
Tuomela, Leon van der Torre


Submission Details:

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. We
plan to organize a special issue of the Journal of Applied Non-Classical
Logics (JANCL) based on selected papers presented at the workshop.


Important dates:

Submissions: February 15, 2009
Notification: April 15, 2009
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
* Call for papers: Workshop Logical Methods for Social Concepts (LMSC) * 

20-31 July, 2009 in Bordeaux

workshop organized as part of ESSLLI 2009 (http://esslli2009.labri.fr)

webpage: http://www.irit.fr/~Andreas.Herzig/Esslli09/


Workshop Purpose: 

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 multidis!
 ciplinary 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.


Workshop Topics: 

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 Organizers:
Andreas Herzig <http://www.irit.fr/~Andreas.Herzig> and Emiliano Lorini <http://www.irit.fr/~Emiliano.Lorini> 


Invited speakers:

- Alexandru Baltag, Oxford University
- Rineke Verbrugge, University of Groningen 


Workshop Programme Committee:

Thomas gotnes, Johan van Benthem, Guido Boella, Jan Broersen, Cristiano Castelfranchi, Pilar Dellunde, Frank Dignum, Nicola Dimitri, Hans van Ditmarsch, Davide Grossi, Andreas Herzig (co-chair), Wiebe van der Hoek, Jeff Horty, Andrew Jones, Jrme Lang, Emiliano Lorini (co-chair), Claudio Masolo, John-Jules Meyer, Matthias Nickles, Eric Pacuit, Henry Prakken, Antonino Rotolo, Lambr Royakkers, Nicolas Troquard, Raimo Tuomela, Leon van der Torre 


Submission Details:

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 workshops 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. We plan to organize a special issue of the Journal of Applied Non-Classical Logics (JANCL) based on selected papers presented at the workshop.


Important dates:

Submissions: February 15, 2009
Notification: April 15, 2009
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