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
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).
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.
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.