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.
Minneapolis, 19 - 21 September 2023
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
Panel: OS on seL4: so many options!
We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2023, in a session OS on seL4: so many options! Gapfruit, Kry10, Magnetite (MIT), and UNSW will present their views on the priorities and vision for their OS on seL4. The panel will be moderated by Todd Carpenter from Galois.
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.
-
Darren Cofer
(co-chair)Collins Aerospace
-
Ihor Kuz
(co-chair)Kry10
-
Alison Felizzi
Kry10
-
Axel Heider
HENSOLDT Cyber
-
Gernot Heiser
UNSW
-
June Andronick
Proofcraft
-
Lucy Parker
-
Perry Alexander
The University of Kansas
-
Martin
NSCS
-
Nick Spinale
Colias Group
-
Robbie VanVossen
DornerWorks
-
Todd Carpenter
Galois
Sponsors
Gold
Silver
Dinner
Reception
Gallery
