BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7443-13509@trustworthy-it.com
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - November
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 spricht Wolfgang Kunz in seinem Vortrag „Desiging correct and secure c
 hips: how can formal methods help?“ über formale Hardwareverifikation. 
DTSTAMP:20260105T110049Z
DTSTART:20251111T134000Z
DTEND:20251111T134500Z
END:VEVENT
END:VCALENDAR