Computational social choice is a rapidly growing interdisciplinary field that studies problems at the interface of social choice theory and computer science.
Classical social choice theory involves the study of mechanisms for collective decision making that aggregate individual agents' preferences to a collective outcome. Typical examples include voting procedures, protocols for fair division and resource allocation. Much of the important results in the field focus on the existence of procedures for collective decision making which comply with various desirable properties like social optimality, fairness and stability. Computational social choice theory on the other hand, takes into account the computational aspects of these mechanisms. This interdisciplinary interface between classical social choice theory and computer science has facilitated the exchange of ideas and techniques in both directions. There are various instances where computational considerations play a crucial role in social choice theory. Concepts which are well studied in computer science such as algorithm design, complexity analysis and optimization techniques have been effectively used to analyze these aspects. Axiomatic study of social choice situations also benefit from the analysis and structural characterisation results that can be achieved using logical frameworks. On the other hand, techniques and formal models from social choice theory have been effectively used to reason about multi agent systems and in various applications in artificial intelligence.
The aim of this workshop is to bring together researchers from various fields to discuss ideas and problems in social choice theory. This includes computer scientists and researchers in multiagent systems interested in computational issues pertaining to social choice; logicians interested in logical formalisms to axiomatically specify and verify desirable properties in social choice; mathematicians and economists who are interested in structural characterisation results in social choice theory.