Register for the seL4 summit 2025

The seL4 summit 2025 will be held in Prague, Czech Republic, 3 - 5 September 2025.

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 3 August 2025.

A number of informal social activities will be organised by the seL4 community for Tuesday 2 Sep 2025. Stay tuned for more info!