Logic List Mailing Archive

Logical Models of Group Decision Making

12-16 Aug 2013
Duesseldorf, Germany

**********************************************************************
CALL FOR PAPERS
ESSLLI Workshop on Logical Models of Group Decision Making
Duesseldorf, 12-16 August 2013
URL: http://www.illc.uva.nl/~ulle/esslli-workshop-2013/
**********************************************************************

In recent years, in both logic  and computer science, there has been a
growing  interest  in the  formal  study  of  problems originating  in
economics, as  witnessed by the  emergence of research trends  such as
logic and  rational interaction  or computational social  choice. This
workshop will provide  a forum for the discussion  of ongoing research
in this exciting field. It will specifically focus on the use of logic
(rather than formal methods more generally) to model problems in group
decision making (rather than problems in economics more generally).

The  workshop is part  of the  programme of  the 25th  European Summer
School in Logic, Language and Information (ESSLLI-2013).

**********************************************************************
TOPICS OF INTEREST
**********************************************************************

We hope to stimulate research  on social choice, mechanism design, the
aggregation of  preferences, judgments and beliefs, as  well as public
deliberation amongst logicians. At the same time, we hope to stimulate
a  closer  engagement with  different  logics  amongst researchers  in
social choice theory and computational  social choice. We also hope to
highlight the broad  range of potential applications for  this kind of
research, ranging from  artificial intelligence and multiagent systems
all the way to political science and ethics.

Topics of interest include:

- logic and social choice theory
- logic and mechanism design
- logic and games
- judgment aggregation
- belief merging
- logical models of group deliberation
- logic-based preference modelling
- argumentation and group decision making
- formal specification and verification of group decision mechanisms
- automated reasoning for collective decision making
- social software
- applications in artificial intelligence and multiagent systems
- applications in political science and ethics

**********************************************************************
PAPER SUBMISSION
**********************************************************************

Please  visit  the workshop  website  for  details  on the  submission
procedure. All  submissions  will   be  reviewed   by   the  programme
committee. We solicit  a variety of types of  papers: technical papers
describing original and unpublished results, position papers outlining
a research agenda or  highlighting important open problems, and papers
reporting on work in progress.

**********************************************************************
IMPORTANT DATES
**********************************************************************

- Submission deadline: 25 April 2013
- Paper notifications: 4 June 2013
- Final papers due:    21 June 2013
- Workshop:            12-16 August 2013

**********************************************************************
PROGRAMME COMMITTEE
**********************************************************************

- Thomas Agotnes (Bergen)
- Johan van Benthem (Amsterdam & Stanford)
- Fabrizio Cariani (Northwestern)
- Cedric Degremont (Toulouse)
- Franz Dietrich (Paris & East Anglia)
- Daniel Eckert (Graz)
- Ulle Endriss (Amsterdam, co-chair)
- Davide Grossi (Liverpool)
- Jeff Horty (Maryland)
- Sebastien Konieczny (Lens)
- Eric Pacuit (Tilburg & Maryland, co-chair)
- Gabriella Pigozzi (Paris)
- Daniele Porello (Trento)
- Olivier Roy (Munich)
- Mike Wooldridge (Oxford)

**********************************************************************