BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:8130-13509@gi.de
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday #11 - Können formale Methoden mir helfen?
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 18. August ab 14:00 Uhr (UTC +2) statt. Die Veranstaltung 
 wird über Zoom abgehalten. Die Aufzeichnung wird nach der Veranstaltung auf
  der EvIT-Website hochgeladen.\n\nZoom-Link: https://meetgi.zoom.us/j/61924
 747086?pwd=n4ilgx0WbDAZmwZnbRCElbsvOtucs5.1
LOCATION:Online (Zoom)
DTSTAMP:20260804T100338Z
DTSTART:20260818T120000Z
DTEND:20260818T124500Z
END:VEVENT
END:VCALENDAR