BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7845-13509@trustworthy-it.com
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday in May
DESCRIPTION:The German Informatics Society as part of the Ecosystem Formall
 y Verifiable IT (EvIT) presents the webinar series “Trustworthy Tuesday”. O
 nce a month, researchers will present their work in the field of formal ver
 ification.\n\nIn our next session on May 19th, Gernot Heiser will give his 
 presentation on “LionsOS: Security and Performance”. The operating system i
 s based on the seL4 microkernel. It was developed by the Trustworthy System
 s research group at the UNSW Sydney. Heiser, as the research group leader, 
 will take time to present at the next Trustworthy Tuesday.\n\nWe want to br
 eak down the complex topic of formal verification and trustworthy IT into s
 mall bites. Our short input and a discussion round will provide an insight 
 into research approaches and best practices.\n\nThe event is happening on M
 ay 19th, starting at 12pm (UTC +2) on Zoom. We will upload the recording to
  the EvIT website after the event.
LOCATION:Online (Zoom)
DTSTAMP:20260506T090230Z
DTSTART:20260519T120000Z
DTEND:20260519T124500Z
END:VEVENT
END:VCALENDAR