Other years

seL4 Summit 2026

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, "voices from nearby", and panel discussions.

seL4 Summit

Vancouver, Canada, 1 - 3 September 2026

Submit Register Sponsor

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.

Call for Presentations

Share your seL4 work, experiences and thoughts at the seL4 Summit 2026.
Learn more

Registration, Location & Venue

Information about location, venue and travel.
Learn more

Program

Program of the seL4 Summit 2026.
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

Voices from Nearby

The 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 include a session on "Voices from Nearby," with industry experts who work in or share their thoughts on areas that are adjacent to the core seL4 areas.

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.