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
Call for Presentations
Registration, Location & Venue
Program
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 summit@sel4.systems.
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