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:In January, June Andronick will talk about seL4: Formally Verif
 ied Software protects from Cyber Attacks.\n\nTrustworthy Tuesday is a compa
 ct lunchtime webinar series that provides exciting insights into the field 
 of trustworthy IT systems and formal verification. With 15-20 minute input 
 presentations, we invite participants to a subsequent discussion and a roun
 d of technical questions to highlight current developments, best practices,
  and practical approaches.\n\nThe series is aimed at both students and anyo
 ne interested in gaining an insight into formal methods and trustworthy IT—
 without having to take a full seminar. The compact format is ideal as a “kn
 owledge snack” during your lunch break.
DTSTAMP:20260122T150231Z
DTSTART:20260120T130000Z
DTEND:20260120T134500Z
END:VEVENT
END:VCALENDAR