BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7590-13509@trustworthy-it.com
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - December
DESCRIPTION:Im Dezember spricht Mo Fadiheh über Property Generator: Generie
 rung formaler Aussagen für vertrauenswürdige Hardware. \n\nTrustworthy Tues
 day ist eine kompakte Webinarreihe in der Mittagszeit, das spannende Einbli
 cke in das Feld vertrauenswürdige IT-Systeme und formale Verifikation vermi
 ttelt. Mit Input-Vorträgen von 15-20min. laden wir die Teilnehmenden zu ein
 er anschließenden Diskussion und einer Runde Fachfragen ein, um aktuelle En
 twicklungen, Best Practices und praktische Ansätze zu beleuchten.\n\nDie Re
 ihe 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 kompakte Format eignet sich als
  „Wissens-Snack“ in der Mittagspause.
DTSTAMP:20260122T145749Z
DTSTART:20251216T130000Z
DTEND:20251216T134500Z
END:VEVENT
END:VCALENDAR