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:In December, Mo Fadiheh will talk about Property Generator: Gen
 erating Formal Assertions for Trustworthy Hardware.\n\n\n\nTrustworthy Tues
 day is a compact lunchtime webinar series that provides exciting insights i
 nto the field of trustworthy IT systems and formal verification. With 15-20
  minute input presentations, we invite participants to a subsequent discuss
 ion and a round of technical questions to highlight current developments, b
 est practices, and practical approaches.\n\n\n\nThe series is aimed at both
  students and interested parties who want to gain an insight into formal me
 thods and trustworthy IT—without having to take a full seminar. The compact
  format is ideal as a “knowledge snack” during your lunch break.
DTSTAMP:20260122T145749Z
DTSTART:20251216T130000Z
DTEND:20251216T134500Z
END:VEVENT
END:VCALENDAR