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). This focus addresses an important gap in current research practice: researchers coming from logic often focus on modelling single agents and their strategies (rather than groups of agents and mechanisms of interaction), while those coming from social choice theory (which is concerned with those groups and mechanisms) often use only fairly simplistic ideas from logic.

The workshop is part of the programme of (the second week of) the 25th European Summer School in Logic, Language and Information (ESSLLI-2013). It will consist of five 90 minute sessions (one per day). The rest of the ESSLLI-2013 offering will feature several courses that are related to the themes of this workshop.

The workshop is organised in cooperation with COST Action IC1205 on Computational Social Choice.

Francesca Zaffora Blando has written a short report on the workshop, published by The Reasoner in its October 2013 edition.