seL4 summit 2025 sponsorship opportunities

The seL4 Summit is the annual international summit on the seL4 microkernel, the
world’s most highly assured OS kernel, as well as on all seL4-related technology, tools,
infrastructure, products, projects, and people.

The seL4 Summit gathers the seL4 community to learn, share, and connect:
Learn — about the seL4 technology, its latest progress, use, successes, challenges, and plans
Share — exciting seL4 development, research, experience, and application in the real world
Connect — with other seL4 developers, users, providers, supporters, and potential partners

Your benefits as a sponsor:

  • Get strong visibility as a major player in the seL4 ecosystem
  • Showcase your seL4-based products, technology and services to target audiences in the field of seL4
  • Support the open-source technology and community
  • Connect directly with attendees through the expo booth, branding materials, and videos

For sponsorship packages and opportunities, visit Sponsor | LF Events.

Email us at summit@sel4.systems to reserve your sponsorship, ask questions or talk about different options.