BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:8132-409@gi.de
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - Formale Methoden mit Matt Wilding
DESCRIPTION:In unserer nächsten Sitzung am 18. August wird Dr. Matthew Wild
 ing seinen Vortrag „Can Formal Methods Help Me?“ halten. Formale Methoden s
 ind Ansätze, die mathematische Argumentation nutzen, um Garantien für compu
 tergestützte Systeme zu liefern. Oft ist unklar, wann und wie formale Metho
 den anzuwenden sind, da es zahlreiche Werkzeuge und mathematische Ansätze g
 ibt, eine Vielzahl von Anwendungsbereichen mit unterschiedlichen Anforderun
 gen an die Zuverlässigkeitssicherung sowie verschiedene Ursachen für die be
 sorgniserregende Komplexität von Computersystemen.\n\nMatthew Wilding ist P
 rogrammmanager bei der DARPA (Defense Advanced Research Projects Agency) fü
 r Softwareentwicklung und die Sicherheit kritischer Systeme.\n\nDie Veranst
 altung findet am 21. Juli ab 14:00 Uhr (UTC +2) statt. Die Veranstaltung wi
 rd über Zoom abgehalten. Die Aufzeichnung wird nach der Veranstaltung auf d
 er EvIT-Website hochgeladen.\n\nZoom-Link: https://meetgi.zoom.us/j/6192474
 7086?pwd=n4ilgx0WbDAZmwZnbRCElbsvOtucs5.1
LOCATION:Online (Zoom)
DTSTAMP:20260729T150414Z
DTSTART:20260818T120000Z
DTEND:20260818T124500Z
END:VEVENT
END:VCALENDAR