The seL4 Summit is the annual international summit on the seL4 microkernel and associated technology, tools, infrastructure, products, projects, and people. The program committee will assemble thought-provoking talks, keynotes and discussions. Stay tuned! The seL4 Summit is made possible thanks to our sponsors.
Prague, 3 - 5 September 2025
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 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.
-
Nick Spinale
(co-chair)Colias Group
-
Robbie VanVossen
(co-chair)DornerWorks
-
Adam
NCSC
-
Corey Lewis
Proofcraft
-
Courtney Darville
UNSW Sydney
-
David Hardin
Collins
-
Everton de Matos
TII
-
Gernot Heiser
UNSW Sydney
-
Juliana Furgala
MIT Lincoln Laborator
-
Leigha VanderKlok
DornerWorks
-
Lucy Parker
-
Matthew Brecknell
Kry10
-
Yanyan Shen
NIO
Sponsors
Silver
Bronze
