The early bird cut-off date for the seL4 summit 2024 is 15 September 2024.
The summit will be held in Sydney, Australia, 15-17 October 2024.
The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people.
Tickets include:
- Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
- Networking with other seL4 experts and enthusiasts
- Reception and dinner
Register here
A number of informal social activities are being organised by local Sydney-siders. Check out the list and contact the organiser to register your interest.
