In the first part of this tutorial we are going to review classical material in voting theory, and in the second part we are going to see some recent research directions regarding the use of automated reasoning tools to reason about problems of social choice as well as the notion of explainability in social choice.
For a much more comprehensive view of the field, consult the Handbook of Computational Social Choice.