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 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
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
