News

• Das Programm des Seminars ist nun online.
• Bitte beachten sie auch die im Programm angegebenen Zeiten.

Organisation

Die Veranstaltung wird als Blockseminar angeboten, die Vorträge werden am Ende des Semesters wahlweise auf deutsch oder englisch gehalten.

Die Vorträge finden statt am:

• Dienstag, 10. Februar, in unserem Seminarraum (Raum 4116, E1, Ahornstr. 55)

Deadlines

spätestens 14. November	Gliederung
19. Dezember	Ausarbeitung
spätestens 23. Januar	Folien
10. Februar	Vorträge

Schedule

Dienstag, 10. Februar (Raum 4116, E1, Ahornstr. 55)
09:30	–	10:00	Andreas Tollkötter	Der Satz von Arrow
10:00	–	10:30	Paul Dingil	Graph Aggregation
11:00	–	11:30	Robin Westermann	Social Choice Functions -- Axiome und Unmöglichkeitssätze
11:30	–	12:00	Derya Akdas	Strategische Manipulationen
12:00	–	14:00	---	Pause
14:00	–	14:30	Niklas Rieken	Die Komplexität von Choice Sets
14:30	–	15:00	Christopher Hugenroth	Wählen auf kartesischen Produkten
15:30	–	16:00	Till Hofmann	Social Software und Verifikation
16:00	–	16:30	Hannah Arndt	Kommunikationserfordernisse in Social Choice

Content

Für das Seminar sind Kenntnisse aus der Vorlesung Mathematische Logik notwendig.

Topics

Thema	Vortragende(r)	Betreuer(in)
Der Satz von Arrow	Andreas Tollkötter	Simon Lessenich
Graph Aggregation	Paul Dingil	Frederic Reinhardt
Social Choice Functions -- Axiome und Unmöglichkeitssätze	Robin Westermann	Simon Lessenich
Die Komplexität von Choice Sets	Niklas Rieken	Frederic Reinhardt
Strategische Manipulationen	Derya Akdas	Wied Pakusa
Wählen auf kartesischen Produkten	Christopher Hugenroth	Svenja Schalthöfer
Social Software und Verifikation	Till Hofmann	Faried Abu Zaid
Kommunikationserfordernisse in Social Choice	Hannah Arndt	Faried Abu Zaid

Literature

[BCE12]	F. Brandt, V. Conitzer, and U. Endriss. Computational Social Choice. In Multiagent Systems (G. Weiss, Ed.). MIT Press, 2012.
[CELM07]	Y. Chevaleyre, U. Endriss, J. Lang, and N. Maudet. A Short Introduction to Computational Social Choice. In SOFSEM 2007: Theory and Practice of Computer Science (J. van Leeuwen, G. F. Italiano, W. van der Hoek, C. Meinel, H. Sack, and F. Plášil, Eds.), vol. 4362 of Lecture Notes in Computer Science, pp. 51–69. Springer Berlin Heidelberg, 2007.
[E11]	U. Endriss. Logic and Social Choice Theory. In Logic and Philosophy Today (A. Gupta and J. van Benthem, Eds.). College Publications, 2011.

Classification

• Informatik (B.Sc.)/Seminar Informatik
• Mathematik (B.Sc.)/Seminar: Logik, Komplexität, Spiele
• Informatik (M.Sc.)/Seminar Theoretische Informatik
• Mathematik (M.Sc.)/Seminar: Logik, Komplexität, Spiele (Reine Mathematik)
• Informatik (S II)
• Mathematik (S II)/Hauptstudium/Modul Algebra
• Mathematik (S II)/Hauptstudium/Modul Angewandte Mathematik

Prerequisites

• Module Mathematical Logic
• for B.Sc. Computer Science: Module "Einführung in das wissenschaftliche Arbeiten (Proseminar)"

Contact

Erich Grädel, Simon Lessenich, Faried Abu Zaid, Wied Pakusa, Svenja Schalthöfer, Frederic Reinhardt