BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7554-409@gi.de
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - seL4: Formally Verified Software protects fro
 m Cyber Attacks
DESCRIPTION:The German Informatics Society as part of the Ecosystem Formall
 y Verifiable IT (EvIT) has launched a new webinar series called “Trustworth
 y Tuesday”. Once a month, researchers will present their work in the field 
 of formal verification. After lunch at 2 pm CET, you can join our “snackabl
 e science” format.\n\nWe want to break down the complex topic of formal ver
 ification and trustworthy IT into small bites. Our short input and a discus
 sion round will provide an insight into research approaches and best practi
 ces.\n\nIn our next session on January 20th, June Andronick will give her p
 resentation “seL4: Formally Verified Software protects from Cyber Attacks”.
  The seL4-microkernel was developed with the goal of formal verification. J
 une Andronick is the CEO of Proofcraft and a former leader of the Trustwort
 hy Systems group. In her roles, she contributed to the original seL4 verifi
 cation.\n\nThe event is happening on January 20th, starting at 2pm (UTC +1)
 . The event will be held on Zoom. The recording will be uploaded to the EvI
 T website after the event.\n\n\n\nBy registering, you agree to the declarat
 ion of consent for video recording. The declaration can be found here.\n\nI
 f you have any questions, please reach out to protect@gi.de. 
LOCATION:Online (Zoom)
DTSTAMP:20260119T104545Z
DTSTART:20260120T130000Z
DTEND:20260120T134500Z
END:VEVENT
END:VCALENDAR