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. 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.
Keynotes
-
John Hatcliff
University Distinguished Professor, Kansas State University
Model-based Development for seL4 Microkit/Rust with Integrated Formal Methods using HAMR
-
Sebastian Jester
Head of Secure Hardware and Supply Chains, Cyberagentur
Formally verified IT – Germany’s next cybersecurity paradigm
Panel: Building a business case for using a verified kernel
We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2025, in a session Building a business case for using a verified kernel Collins Aerospace, DornerWorks, Kry10, NIO, and MEP. The panel will be moderated by Juliana Furgala from MIT Lincoln Laboratory.
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 Laboratory
-
Leigha VanderKlok
DornerWorks
-
Lucy Parker
-
Matthew Brecknell
Kry10
-
Yanyan Shen
NIO
Sponsors
Silver
Bronze
