BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7361-13509@trustworthy-it.com
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - October
DESCRIPTION:We want to break down the complex topic of formal verification 
 and trustworthy IT into small bites. After the lunch break, a short input a
 nd a discussion round will provide an insight into research approaches and 
 best practices.\n\nWe invite students, experts and other interested parties
  to “snack” on this new knowledge after their lunch break. \n\nWith input p
 resentations lasting 15-20 minutes, we invite participants to join in a sub
 sequent discussion and a round of technical questions to highlight current 
 developments, best practices and practical approaches.\n\nThis time Christo
 ph Lüth gives an introduction for Formal Software Verification. \n\nRegiste
 r here: https://de.surveymonkey.com/r/RWCH7CG
DTSTAMP:20251124T114429Z
DTSTART:20251022T123000Z
DTEND:20251022T131500Z
END:VEVENT
END:VCALENDAR