Dagstuhl Seminar Proceedings: Computational Issues in Social Choice 2007