Other years

seL4 Summit 2025

The seL4 Summit is the annual international summit on the seL4 microkernel and associated technology, tools, infrastructure, products, projects, and people. The program committee will assemble thought-provoking talks, keynotes and discussions. Stay tuned!

seL4 Summit

Prague, 3 - 5 September 2025

Submit

Call for Presentations

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

Registration, Location & Venue

Information about location, venue and travel.
Learn more

Program

Preliminary program of the seL4 Summit 2025.
Coming soon

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.

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.