Other years

seL4 Summit 2024

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.

Sydney, 15 - 17 October 2024

Call for Presentations

Share your seL4 work, experiences and thoughts at the seL4 Summit 2024.

Learn more

Registration, Location & Venue

Information about location, venue and travel.

Learn more

Program

Program, abstracts and videos of the seL4 Summit 2024.

Learn more

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

Darren Cofer

Principal Fellow, Collins Aerospace

Industrial Scale Proof Engineering for Critical Trustworthy Applications (INSPECTA)
Ning Qu

Senior Director of the SkyOS team, NIO

seL4 in Software-Defined Vehicles: Vision, Roadmap, and Impact at NIO

seL4 Anniversary Panel Session

To celebrate three key anniversaries of seL4, a special panel will gather to reflect on the journey over the past 20 years and discuss the future, including participants from Collins Aerospace, DARPA, Dornerworks, Kry10, Proofcraft, The University of Melbourne and UNSW. The panel will be moderated by Nick Spinale from Colias Group.

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.