BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7773-13509@trustworthy-it.com
CLASS: PUBLIC
SUMMARY:Probably Secure?!
DESCRIPTION:Im April präsentiert Pajam Pauls Sprachbasierte Verifikation vo
 n Probabilistischer Sicherheitsanalyse. Dabei gibt er einen Einblick in ein
  strukturiertes Verifikationsframework, das formale Argumentationstechniken
  mit Sicherheitsanalysen verbindet. \n\nTrustworthy Tuesday ist eine kompak
 te Webinarreihe in der Mittagszeit, das spannende Einblicke in das Feld ver
 trauenswürdige IT-Systeme und formale Verifikation vermittelt. Mit Input-Vo
 rträgen von 15-20min. laden wir die Teilnehmenden zu einer anschließenden D
 iskussion und einer Runde Fachfragen ein, um aktuelle Entwicklungen, Best P
 ractices und praktische Ansätze zu beleuchten.\n\nDie Reihe richtet sich so
 wohl an Studierende als auch an Interessierte, die einen Einblick zu formal
 en Methoden und vertrauenswürdiger IT bekommen wollen – ohne ein komplettes
  Seminar zu belegen. Das kompakte Format eignet sich als „Wissens-Snack“ in
  der Mittagspause.
LOCATION:Online (Zoom)
DTSTAMP:20260413T103552Z
DTSTART:20260421T120000Z
DTEND:20260421T124500Z
END:VEVENT
END:VCALENDAR