BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7848-409@gi.de
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - Betriebssystem LionsOS
DESCRIPTION:Im Rahmen des „Ecosystem Formally Verifiable IT“ (EvIT) präsent
 iert die GI die Webinar-Reihe „Trustworthy Tuesday“. \n\nIn unserer nächste
 n Sitzung am 19. Mai hält Gernot Heiser einen Vortrag zum Thema „LionsOS: S
 icherheit und Leistung“. Das Betriebssystem basiert auf dem seL4-Mikrokerne
 l. Es wurde von der Forschungsgruppe „Trustworthy Systems“ an der UNSW Sydn
 ey entwickelt. Heiser wird als Leiter der Forschungsgruppe beim nächsten Tr
 ustworthy Tuesday einen Vortrag halten.\n\nWir möchten das komplexe Thema d
 er formalen Verifikation und vertrauenswürdigen IT in kleine Häppchen aufte
 ilen. Unser kurzer Vortrag und eine Diskussionsrunde bieten einen Einblick 
 in Forschungsansätze und Best Practices.\n\nDie Veranstaltung findet am 19 
 Mai ab 12 Uhr (UTC +2) auf Zoom statt. Die Aufzeichnung werden wir nach der
  Veranstaltung auf die EvIT-Website hochladen.
LOCATION:Online (Zoom)
DTSTAMP:20260506T091748Z
DTSTART:20260519T120000Z
DTEND:20260519T124500Z
END:VEVENT
END:VCALENDAR