Seminar Logik, Komplexität, Spiele: Computational Social Choice

WS 2014/15

Aktuelles

  • 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 finden statt am:

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


Zeitplan

spätestens 14. NovemberGliederung
19. DezemberAusarbeitung
spätestens 23. JanuarFolien
10. FebruarVorträge

Programm

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

Inhalt

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

Einführungsliteratur

Folgende Übersichtsartikel sind für alle Themen als Einführungsliteratur empfohlen: [BCE12, CELM07, E11]

Themen

ThemaVortragende(r)Betreuer(in)
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

Literatur

[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.

Zuordnung

  • 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

Voraussetzungen

  • Modul Mathematische Logik
  • für B.Sc. Informatik: bestandenes Modul "Einführung in das wissenschaftliche Arbeiten (Proseminar)"

Rückfragen

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