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

Coming soon. Stay tuned!