BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7592-13509@trustworthy-it.com
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - January
DESCRIPTION:Im January spricht June Andronick über seL4: Formal Verifiziert
 e Software schützt vor Cyberangriffen. \n\nTrustworthy Tuesday ist eine kom
 pakte Webinarreihe in der Mittagszeit, das spannende Einblicke in das Feld 
 vertrauenswürdige IT-Systeme und formale Verifikation vermittelt. Mit Input
 -Vorträgen von 15-20min. laden wir die Teilnehmenden zu einer anschließende
 n Diskussion und einer Runde Fachfragen ein, um aktuelle Entwicklungen, Bes
 t Practices und praktische Ansätze zu beleuchten.\n\nDie Reihe richtet sich
  sowohl an Studierende als auch an Interessierte, die einen Einblick zu for
 malen Methoden und vertrauenswürdiger IT bekommen wollen – ohne ein komplet
 tes Seminar zu belegen. Das kompakte Format eignet sich als „Wissens-Snack“
  in der Mittagspause.
DTSTAMP:20260122T150110Z
DTSTART:20260120T130000Z
DTEND:20260120T134500Z
END:VEVENT
END:VCALENDAR