Seminar Logic, Complexity, Games: Computational Social Choice

WS 2014/15

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. NovemberGliederung
19. DezemberAusarbeitung
spätestens 23. JanuarFolien
10. FebruarVorträge

Schedule

Dienstag, 10. Februar (Raum 4116, E1, Ahornstr. 55)
09:3010:00Andreas TollkötterDer Satz von Arrow
10:0010:30Paul DingilGraph Aggregation
11:0011:30Robin WestermannSocial Choice Functions -- Axiome und Unmöglichkeitssätze
11:3012:00Derya AkdasStrategische Manipulationen
12:0014:00---Pause
14:0014:30Niklas RiekenDie Komplexität von Choice Sets
14:3015:00Christopher HugenrothWählen auf kartesischen Produkten
15:3016:00Till HofmannSocial Software und Verifikation
16:0016:30Hannah ArndtKommunikationserfordernisse in Social Choice

Content

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

Topics

ThemaVortragende(r)Betreuer(in)Literatur
Der Satz von ArrowAndreas TollkötterSimon Lessenich[]
Graph AggregationPaul DingilFrederic Reinhardt[]
Social Choice Functions -- Axiome und UnmöglichkeitssätzeRobin WestermannSimon Lessenich[]
Die Komplexität von Choice SetsNiklas RiekenFrederic Reinhardt[]
Strategische ManipulationenDerya AkdasWied Pakusa[]
Wählen auf kartesischen ProduktenChristopher HugenrothSvenja Schalthöfer[]
Social Software und VerifikationTill HofmannFaried Abu Zaid[]
Kommunikationserfordernisse in Social ChoiceHannah ArndtFaried 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