seL4 Summit

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 aims to gather all 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 2026 edition of the seL4 summit will feature a full first day dedicated to applications, overviews, and perspectives on seL4-based systems and formally verified software in the real world. This will be followed by Days 2 and 3 focusing on more technical development, research, reports, and discussions.

We are particularly keen to welcome people who are new to seL4 or still developing their familiarity with the technology. The event will offer an ideal opportunity to gain a high-level view of the landscape and ecosystem of seL4 and its associated tools, frameworks and languages, as well as formally verified software in general, and to take stock of the latest updates.