BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7361-13509@trustworthy-it.com
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - October
DESCRIPTION:Trustworthy Tuesday ist eine kompakte Webinarreihe in der Mitta
 gszeit, das spannende Einblicke in das Feld vertrauenswürdige IT-Systeme un
 d formale Verifikation vermittelt. Mit Input-Vorträgen von 15-20min. laden 
 wir die Teilnehmenden zu einer anschließenden Diskussion und einer Runde Fa
 chfragen ein, um aktuelle Entwicklungen, Best Practices und praktische Ansä
 tze zu beleuchten.\n\nDie Reihe richtet sich sowohl an Studierende als auch
  an Interessierte, die einen Einblick zu formalen Methoden und vertrauenswü
 rdiger IT bekommen wollen – ohne ein komplettes Seminar zu belegen. Das kom
 pakte Format eignet sich als „Wissens-Snack“ in der Mittagspause.\n\nDieses
  Mal gibt Christoph Lüth eine Einführung in Formale Software Verifikation. 
 \n\nHier anmelden: https://de.surveymonkey.com/r/RWCH7CG
DTSTAMP:20251124T114429Z
DTSTART:20251022T123000Z
DTEND:20251022T131500Z
END:VEVENT
END:VCALENDAR