BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7443-13509@trustworthy-it.com
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - November
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 Wolfgan
 g Kunz gives his talk “Desiging correct and secure chips: how can formal me
 thods help?” about formal hardware verification. 
DTSTAMP:20260105T110049Z
DTSTART:20251111T134000Z
DTEND:20251111T134500Z
END:VEVENT
END:VCALENDAR