Book section: I discuss the future of social choice theory in the design of electoral systems. Two routes are promising. First, thanks to computing facilities, new voting procedures can be designed. I present two positive recent experiments, and hope some are to come. Second, the well-known referendum, which is being increasingly popular on a variety of situations, needs to be investigated more thoroughly; I discuss some issues and directions for improvement.