seL4 summit logo

seL4 Summit 2022

Munich, Germany (hybrid), 10-13 Oct 2022


The seL4 Summit 2022 is the fourth edition of the international summit on the seL4 microkernel, the world's most highly assured OS kernel.

The first three seL4 Summits were organised by the Trusted Computing Center of Excellence, and were hosted in the US.

The seL4 Summit 2022 is the first to be organised by the seL4 Foundation, established in 2020.

Summit organisation and hosting is based on these principles.

Location & Host

The seL4 Summit 2022 will be held in Munich, Germany (hybrid), 10-13 Oct 2022.

It is being hosted by HENSOLDT Cyber GmbH, a Munich-based company which develops embedded IT products that meet the highest security requirements, combining an operating system based on verified seL4 with a RISC-V processor that is protected from supply-chain attacks.

To learn more, including information on the location, please visit Hensoldt CYBER.

Registration - coming soon!

Registration for the summit will open soon on Hensoldt CYBER's summit page.

Tickets include:

  • Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
  • A one-day bootcamp with workshops and trainings
  • Networking with other seL4 experts and enthusiasts
  • Participation in the mentoring program (for students and junior engineers)

Mentorship Program

As part of the registration process, attendees have the opportunity to opt-in to a new, informal mentorship program. The purpose of this program is to foster mentorship relationships within the seL4 community. The program committee will match students and junior engineers who wish to participate as mentees with volunteer mentors. Participating attendees will be introduced to their counterparts during the summit, and will carry on afterwards with whatever level of involvement suits both parties. Mentors are welcome to volunteer for any level of involvement.


We have an amazing line-up of cool seL4 work, with a combination of technical research and development, experience reports of seL4 in the field, technical discussions and Birds-of-a-feather sessions, as well as a whole day of seL4 bootcamp with tutorials and training.

Program committee


If you have questions, please do not hesitate to contact the seL4 Foundation summit team at: