Trustworthy Tuesday in May
This session in May Gernot Heiser talk about the operating system LionsOS.
Venue
Online (Zoom)-, Deutschland
Description
The German Informatics Society as part of the Ecosystem Formally Verifiable IT (EvIT) presents the webinar series “Trustworthy Tuesday”. Once a month, researchers will present their work in the field of formal verification.
In our next session on May 19th, Gernot Heiser will give his presentation on “LionsOS: Security and Performance”. The operating system is based on the seL4 microkernel. It was developed by the Trustworthy Systems research group at the UNSW Sydney. Heiser, as the research group leader, will take time to present at the next Trustworthy Tuesday.
We want to break down the complex topic of formal verification and trustworthy IT into small bites. Our short input and a discussion round will provide an insight into research approaches and best practices.
The event is happening on May 19th, starting at 12pm (UTC +2) on Zoom. We will upload the recording to the EvIT website after the event.
Registration
- Costs
- Free of charge
- Note
- You can register online for this event.
- Registration deadline
- 18.05.2026