1 week left to get the early-bird registration at the seL4 summit!
A friendly reminder that the early bird cut-off date is 18 August 2023.
- Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
- Networking with other seL4 experts and enthusiasts
- Reception and Dinner
Check out our exciting line-up of speakers
Registrations: Register | Linux Foundation Events
Please note that the hotel block ends on 27 Aug 2023.
seL4 summit 2023: Summit | seL4