BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:4299-3687@fg-fomsess.gi.de
CLASS: PUBLIC
SUMMARY:Workshop "Formalisierung von Fairness und Diskriminierungsfreiheit"
DESCRIPTION:Die GI-Fachgruppe Formale Methoden und Software Engineering für
  Sichere Systeme (FoMSESS) des Fachbereichs Sicherheit lädt alle Interessie
 rten zu einem Online-Workshop zum Thema\n\nFormalisierung von Fairness und 
 Diskriminierungsfreiheit\n\nam Montag, den 26.07.2021, ein.\n\nHintergrund 
 des Workshops ist die zunehmende Verbreitung von KI-basierten und algorithm
 ischen Systemen, die eingesetzt werden, um Entscheidungen über Menschen zu 
 treffen. Zum Teil haben diese Entscheidungen weitreichende Folgen, und es i
 st essentiell die Fairness und Diskriminierungsfreiheit der Systeme sicherz
 ustellen. Es gibt vielfältige Begriffe und Vorstellungen von Fairness. Daru
 m ist wichtig, dass der jeweils verwendete Begriff, gegen den die Fairness 
 eines Systems geprüft wird, klar formuliert und formalisiert wird.\n\nDer O
 nline-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.\n\nProgramm:\n\n 
 	15:00 Steffen Staab (Uni Stuttgart): Bias in data-driven artificial intell
 igence 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 Olden
 burg):  Automatic Fairness Testing of Machine Learning Models 	16:30 Pause 
 	16:40 Michael Schefczyk (KIT): Discrimination: Hot topics in the philosoph
 ical 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 Kir
 sten (KIT): Formal Fairness Properties for Network Routing 	18:10 Qusai Ram
 adan (Uni Koblenz-Landau):  Model-based Verification for Detecting Violatio
 ns of Individual Fairness 	18:30 Ende des Workshops \n\nAnmeldung: Falls wi
 r jetzt Ihr Interesse an dem Thema geweckt haben, sind Sie herzlich eingela
 den, 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ürlic
 h kostenlos.\n\nOrganisation des Workshops: Bernhard Beckert, Karlsruher In
 stitut für Technologie (KIT) Jan Jürjens (Universität Koblenz-Landau)
LOCATION:Online
DTSTAMP:20210720T070447Z
DTSTART:20210726T130000Z
DTEND:20210726T163000Z
END:VEVENT
END:VCALENDAR
