Register for the summit

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.

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

The early bird cut-off date is 18 August 2023.