Workshop "Formalisierung von Fairness und Diskriminierungsfreiheit"
Veranstaltungsort
OnlineBeschreibung
Die GI-Fachgruppe Formale Methoden und Software Engineering für Sichere Systeme (FoMSESS) des Fachbereichs Sicherheit lädt alle Interessierten zu einem Online-Workshop zum Thema
Formalisierung von Fairness und Diskriminierungsfreiheit
am Montag, den 26.07.2021, ein.
Hintergrund des Workshops ist die zunehmende Verbreitung von KI-basierten und algorithmischen Systemen, die eingesetzt werden, um Entscheidungen über Menschen zu treffen. Zum Teil haben diese Entscheidungen weitreichende Folgen, und es ist essentiell die Fairness und Diskriminierungsfreiheit der Systeme sicherzustellen. Es gibt vielfältige Begriffe und Vorstellungen von Fairness. Darum ist wichtig, dass der jeweils verwendete Begriff, gegen den die Fairness eines Systems geprüft wird, klar formuliert und formalisiert wird.
Der Online-Workshop beschäftigt sich mit möglichen Formalisierungen von Fairness- und Diskriminierungsbegriffen und mit Methoden, um sie formal analysieren und mit dem Verhalten von Systemen abgleichen zu können.
Programm:
- 15:00 Steffen Staab (Uni Stuttgart): Bias in data-driven artificial intelligence systems
- 15:30 Krishna Gummadi (MPI for Software Systems): t.b.a.
- 15:50 Christoph Heitz (ZHAW Zürich): t.b.a.
- 16:10 Arnab Sharma (Uni Oldenburg): Automatic Fairness Testing of Machine Learning Models
- 16:30 Pause
- 16:40 Michael Schefczyk (KIT): Discrimination: Hot topics in the philosophical debate
- 17:10 Lena Wiese (Uni Frankfurt): Beipackzettel für KI-Modelle
- 17:30 Meike Zehlike (MPI for Software Systems): t.b.a.
- 17:50 Michael Kirsten (KIT): Formal Fairness Properties for Network Routing
- 18:10 Qusai Ramadan (Uni Koblenz-Landau): Model-based Verification for Detecting Violations of Individual Fairness
- 18:30 Ende des Workshops
Anmeldung: Falls wir jetzt Ihr Interesse an dem Thema geweckt haben, sind Sie herzlich eingeladen, sich formlos per E-Mail an beckert@kit.edu und juerjens@uni-koblenz.de für den Online-Workshop anzumelden. Die Teilnahme am Workshop ist natürlich kostenlos.
Organisation des Workshops:
Bernhard Beckert, Karlsruher Institut für Technologie (KIT)
Jan Jürjens (Universität Koblenz-Landau)