  These lecture notes have been developed for the course Computational Social
Choice of the Artificial Intelligence MSc programme at the University of
Groningen. They cover mathematical and algorithmic aspects of voting theory.
