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.
Munich, 10 - 13 October 2022
Call for Presentations
Registration, Location & Venue
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
Panel: Funding agencies
We are very fortunate to welcome four leaders at major funding agencies to participate in a session Funding agencies: priorities and vision. They will each give their views on the priorities and vision of their agency in terms of high-assurance 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.
-
June Andronick
(co-chair)Proofcraft
-
Darren Cofer
(co-chair)Collins Aerospace
-
Anna Lyons
-
Axel Heider
HENSOLDT Cyber
-
Gernot Heiser
UNSW
-
Ihor Kuz
Kry10
-
John Launchbury
Galois
-
Kent Mcleod
Kry10
-
Nick Spinale
Colias Group
-
Perry Alexander
The University of Kansas
-
Robbie VanVossen
DornerWorks
-
Todd Carpenter
Galois
Sponsors
Bronze
Gallery
