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 im Mai
DESCRIPTION:Die Gesellschaft für Informatik e.V. präsentiert im Rahmen des 
 „Ecosystem Formally Verifiable IT“ (EvIT) die Webinar-Reihe „Trustworthy Tu
 esday“. \n\nIn unserer nächsten Sitzung am 19. Mai hält Gernot Heiser einen
  Vortrag zum Thema „LionsOS: Sicherheit und Leistung“. Das Betriebssystem b
 asiert auf dem seL4-Mikrokernel. Es wurde von der Forschungsgruppe „Trustwo
 rthy Systems“ an der UNSW Sydney entwickelt. Heiser wird als Leiter der For
 schungsgruppe beim nächsten Trustworthy Tuesday einen Vortrag halten.\n\nWi
 r möchten das komplexe Thema der formalen Verifikation und vertrauenswürdig
 en IT in kleine Häppchen aufteilen. Unser kurzer Vortrag und eine Diskussio
 nsrunde bieten einen Einblick in Forschungsansätze und Best Practices.\n\nD
 ie Veranstaltung findet am 19 Mai ab 12 Uhr (UTC +2) auf Zoom statt. Die Au
 fzeichnung werden wir nach der Veranstaltung auf die EvIT-Website hochladen
 .
LOCATION:Online (Zoom)
DTSTAMP:20260506T090007Z
DTSTART:20260519T120000Z
DTEND:20260519T124500Z
END:VEVENT
END:VCALENDAR