2 weeks left to get the early-bird registration at the seL4 summit!
A friendly reminder that the early bird cut-off date is 31 July 2026.
Tickets include:
-
Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
-
Networking with other seL4 experts and enthusiasts
-
Dinner
Registrations: Register | LF Events
Further information: seL4 summit
