Lehrveranstaltungen im Sommersemester 2022

Lecture & Tutorials (6 SWS -- 9 ECTS)
ISIS - MOSES

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:

• Arrow's impossibility result,
• restricted domains of preferences,
• social preference functions,
• tournament solutions,
• strategic voting, and
• multiwinner elections.

Recommended background: Basic knowledge about discrete mathematics, algorithms, and computational complexity. Familiarity with formal proof methods.