The seL4 summit 2023 will be held in Minneapolis, USA, 19 - 21 September 2023.
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.
- Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
- Networking with other seL4 experts and enthusiasts
- Reception and Dinner
The early bird cut-off date is 18 August 2023.