2 weeks left to get the early-bird registration at the seL4 summit!

2 weeks 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.

Tickets include:

  • Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions

  • Networking with other seL4 experts and enthusiasts

  • Reception and Dinner

Registrations: Register | Linux Foundation Events
seL4 summit 2023: Summit | seL4