seL4 Summit 2025
Prague, Czech Republic
3 - 5 September 2025
Important Dates:
- Abstracts due: 21 April 2025
- Notification of decisions: 6 June 2025
- Summit: 3 - 5 September 2025 (with informal social activities on 2 September)
About
The seL4 Summit is the annual international summit on the seL4 microkernel, the world's most highly assured OS kernel, as well as on all seL4-related technology, tools, infrastructure, products, projects, and people.
It gathers the seL4 community to learn, share, and connect:
- learn about the seL4 technology, its latest progress, use, successes, challenges, plans;
- share exciting seL4 development, research, experience, application in the real world;
- connect with other seL4 developers, users, providers, customers, supporters, potential partners and enthusiasts.
The seL4 Summit is organised by the seL4 Foundation, aiming for a location on a different continent each year, to the extent possible.
An open call for presentations invites submissions of short abstracts about cool work on seL4, and a Program Committee made of a wide range of representatives of the seL4 community is in charge of the technical content (reviewing submission, selecting invited speakers, defining the program).
Registration
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
The early bird cut-off date is 3 August 2025.
Location & Venue
The seL4 Summit 2025 will be held in Prague, Czech Republic 3 - 5 September 2025 at the Grandior Hotel Prague.
Further information about location, venue and travel is available on the Linux Foundation summit information site.
Social activities
A number of informal social activities will be organised by the seL4 community for Tuesday 2 Sep 2025. Stay tuned for more info!
Submissions & Call for Presentations
Share your seL4 work, experience and thoughts at the seL4 summit 2025 in Prague by submitting a presentation proposal by 21 April 2025. Find all the submission information in the Call for Presentations.
Program Committee
Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
Contact
For any questions regarding the summit, please contact summit@sel4.systems.