COST Action IC1205 – Computational Social Choice

Projektbeschreibung

Die rechenbetonte Sozialwahltheorie (Computational Social Choice) ist ein sich rapide weiterentwickelnder Forschungszweig, der sich mit dem Design und der Analyse von Methoden der kollektiven Entscheidungsfindung beschäftigt. Er kombiniert Methoden der Informatik mit Erkenntnissen der Wirtschaftstheorie. Die COST Action IC1205 zu Computational Social Choice ist ein europäisches Forschungsnetzwerk, das aufgebaut wurde, um eine gemeinsame Plattform zur Forschung in diesem Feld europaübergreifend und darüber hinaus herzustellen.

Innerhalb dieses Projekts konzentrieren wir uns auf die Spezifikation und Verifikation von Wahlverfahren. Ein Wahlverfahren, als eine Methode individuelle Präferenzen zu einer aggregierten Wahlentscheidung zu kombinieren, ist Teil des grundsätzlichen demokratischen Verfahrens. Es ist also unerlässlich, dass Wahlverfahren wie vorgesehen funktionieren. Existierende Wahlverfahren haben ungewollte und manchmal überraschende Eigenschaften aufgewiesen (z. B. negative Stimmgewichte bei den Bundestagswahlen in Deutschland) — im Falle komplizierterer, neu-designter Wahlverfahren, die mithilfe der Unterstützung von Computern im Stimmauszählverfahren ermöglicht werden, ist es wahrscheinlich, dass sich dieser Sachverhalt ebenso abzeichnet.

Das Ziel des Projektes ist die Entwicklung formaler Verifikationstechniken, die es erlauben, Eigenschaften von Wahlverfahren ohne den riesigen Overhead einer für eine voll-funktionale Verifikation notwendigen Nutzer-Interaktion zu überprüfen. Die resultierende Methodik könnte dann in einem iterativen Design- und Implementierungsprozess neuer Wahlverfahren eingesetzt werden.

COST Action

Personen

Mitglieder

Name Titel Tel. E-Mail
Bernhard Beckert Prof. Dr. +49 721 608 44025 beckert257460153Xfd4∂kit.edu
Michael Kirsten +49 721 608 45648 kirsten1116526652Xfd4∂kit.edu

Partner

Name Titel Tel. E-Mail
Mattias Ulbrich Dr. +49 721 608 44338 ulbrich824802013Xfd4∂kit.edu

Student*innen

Wenn Sie ein(e) Studierende(r) der Informatik am KIT sind und sich dafür interessieren, Ihre Abschlussarbeit innerhalb dieses Projekts zu schreiben, kontaktieren Sie bitte Michael Kirsten. Wir haben auch offene Stellen für studentische Hilfskräfte ("HiWi"), um an diesem Projekt zu arbeiten.

Publikationen

2017
Titel Autor(en) Quelle
An Introduction to Voting Rule VerificationBernhard Beckert, Thorsten Bormer, Rajeev Goré, Michael Kirsten und Carsten SchürmannTrends in Computational Social Choice, Part II: Techniques
Formal Fairness Properties in Network Routing Based on a Resource Allocation ModelAlmut Demel und Michael Kirsten9th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2015) affiliated with CSL 2017: the 26th EACSL Annual Conference on Computer Science Logic
Automatic Margin Computation for Risk-Limiting AuditsBernhard Beckert, Michael Kirsten, Vladimir Klebanov und Carsten SchürmannFirst International Joint Conference on Electronic Voting – formerly known as EVOTE and VoteID (E-Vote-ID 2016)
2016
Titel Autor(en) Quelle
Automated Verification for Functional and Relational Properties of Voting RulesBernhard Beckert, Thorsten Bormer, Michael Kirsten, Till Neuber und Mattias UlbrichSixth International Workshop on Computational Social Choice (COMSOC 2016)
2014
Titel Autor(en) Quelle
Formal Verification of Voting SchemesMichael KirstenITI Beckert, Karlsruhe Institute of Technology (Dezember 2014)
Reasoning About Vote Counting Schemes Using Light-Weight and Heavy-Weight MethodsBernhard Beckert, Thorsten Bormer, Rajeev Goré, Michael Kirsten und Thomas Meumann8th International Verification Workshop (VERIFY 2014) in connection with IJCAR 2014: International Joint Conference on Automated Reasoning
Verifying Voting SchemesBernhard Beckert, Rajeev Goré, Carsten Schürmann, Thorsten Bormer und Jian WangJournal of Information Security and Applications (JISA) 19(2)
2013
Titel Autor(en) Quelle
On the Specification and Verification of Voting SchemesBernhard Beckert, Rajeev Goré und Carsten Schürmann4th International Conference on E-Voting and Identity (Vote-ID 2013)
Analysing Vote Counting Algorithms Via Logic - And its Application to the CADE Election SystemBernhard Beckert, Rajeev Goré und Carsten Schürmann24th International Conference on Automated Deduction (CADE-24)