15-17 October 2024
Sydney, Australia
#seL4Summit
Weeks
Days
Hours
Minutes
Seconds
The seL4 Summit is the annual international summit on the seL4 microkernel, the world’s most highly assured OS kernel, as well as on all seL4-related technology, tools, infrastructure, products, projects, and people.
It aims to gather all the seL4 community to learn, share, and connect:
SCHEDULE at a glance
15 October | Keynotes + Sessions + Reception |
16 October | Keynotes + Sessions + Birds of a Feather |
17 October | Keynotes + Sessions |