Computational Social Choice (COMSOC) addresses problems at the interface of social choice theory and computer science. Social choice theory is the formal study of collective decision making processes, an important example of which are voting rules.
We discuss fundamental concepts from social choice theory and investigate axiomatic and computational aspects.
Specific topics include:
Recommended background: Basic knowledge about discrete mathematics, algorithms, and computational complexity. Familiarity with formal proof methods.