The seL4 Summit 2026

seL4 Summit 2026 Program

The seL4 Summit 2026 will feature a combination of technical research and development, real-world seL4 deployment insights, in-depth interactive discussions, thought-provoking keynotes, panel discussions, as well as informal social activities. Videos will be made available on the seL4 YouTube channel after the event.

New!

The 2026 edition of the seL4 summit will feature a full first day dedicated to applications, overviews, and perspectives on seL4-based systems and formally verified software in the real world. This will be followed by Days 2 and 3 focusing on more technical development, research, reports, and discussions. The event will offer an ideal opportunity for people new to seL4 or who are still developing their familiarity to gain a high-level view of the landscape and ecosystem.

Program-at-a-glance

Applications, Overviews & Perspectives Dinner Development, Research, Reports & Discussions Tue Sep 1 Mon Aug 31 Wed Sep 2 Fri Sep 3 Informal Social Activities Day 1 Day 2 Day 3 Development, Research, Reports & Discussions

Main Program

Coming soon. Stay tuned!

Social Activities

A number of informal social activities are being organised for Monday Aug 31, prior to the summit. The idea is that at least one person (whose name is mentioned below) will do this activity at the set time. You're welcome to book yourself directly using the link provided, and do the activity at the same time. Please note that some activities are free, and others are available for purchase either online or onsite.