The seL4 Summit is the annual international summit on the seL4 microkernel and associated technology, tools, infrastructure, products, projects, and people. The program committee assembles thought-provoking talks, keynotes and panel discussions.
Vancouver, Canada, 1 - 3 September 2026
New!
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. The event will offer an ideal opportunity for people new to seL4 or who are still developing their familiarity to gain a high-level view of the landscape and ecosystem.
Call for Presentations
About
The seL4 Summit 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, applications in the real world.
- Connect with other seL4 developers, users, providers, customers, supporters, potential partners and enthusiasts.
For any questions regarding the summit, please contact [email protected].
Program Committee
The Program Committee is made up of members from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
-
Robbie VanVossen
(co-chair)DornerWorks
-
Lucy Fletcher
(co-chair)Apple
-
Adam
NCSC
-
Corey Lewis
Proofcraft
-
David Cock
Neutrality
-
David Hardin
Collins
-
Gernot Heiser
UNSW Sydney
-
Juliana Furgala
MIT Lincoln Laboratory
-
Leigha VanderKlok
DornerWorks
-
Lesley Rossouw
UNSW Sydney
-
Martin Dehnel-Wild
Kry10
-
Nick Spinale
Colias Group