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:In April, Pajam Pauls presents Language-Based Verification of P
 robability Security.\n\nTrustworthy Tuesday is a compact lunchtime webinar 
 series that provides exciting insights into the field of trustworthy IT sys
 tems and formal verification. With 15-20 minute input presentations, we inv
 ite participants to a subsequent discussion and a round of technical questi
 ons to highlight current developments, best practices, and practical approa
 ches.\n\nThe series is aimed at both students and anyone interested in gain
 ing an insight into formal methods and trustworthy IT—without having to tak
 e a full seminar. The compact format is ideal as a “knowledge snack” during
  your lunch break.
LOCATION:Online (Zoom)
DTSTAMP:20260413T103552Z
DTSTART:20260421T120000Z
DTEND:20260421T124500Z
END:VEVENT
END:VCALENDAR