seL4 summit logo

seL4 Summit 2022

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

Latest News

We are very fortunate to welcome four leaders at major funding agencies to participate in a session Funding agencies: priorities and vision. They will each give their views on the priorities and vision of their agency in terms of high-assurance systems.


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 venue, location, and registration, please visit the host's summit webpage.

More information about hotels, public transportation, and some highlights in Munich, can be found here.

For questions regarding location, venue, and registration, please contact

A few pieces of information regarding location:

  • The location of both the summit and the bootcamp are close to the airport (4 S-Bahn stops, 20min) and a bit further away from the city (9 stops, 25min to Hauptbahnhof).
  • The booking of rooms at the INFINITY hotel happens in 2 stages: your registration at the summit allows you to book for the 2 nights of the 10th and 11th of October (confirmation emails for these 2 nights will shortly be sent to people who registered for them). To extend your stay for extra nights before and after these 2 nights, you can use the following special link: (you need to use the link twice, once for the nights before and once for the nights after). The total payment for all nights will be made onsite at the hotel.
  • For the nights after the seL4 summit, the INFINITY hotel is booked out from the 13th of October. Suggestions of alternative hotels for these nights are available here.


Information regarding location, venue and registration is available on the host's summit webpage.

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)

Further information:

  • Hobbyist tickets are available if you’re an seL4 enthusiast working on seL4 outside of your paid job and financing your participation to the summit on your own:
  • The seL4 bootcamp, offered to on-site participants on the 4th day, with hands-on training on various seL4 technologies, will be at the Edison Park conference centre, which is 900m / 10min walking distance for the INFINITY hotel where the rest of the summit is happening.
    Registration for the bootcamp is part of the conference registration. However, registration for the bootcamp will close on 3 October 2022, to help us finalise venue and catering arrangements.

For questions regarding location, venue, and registration, please contact

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.

Invited Speakers

Gernot Heiser
Gernot Heiser
Boyd Multerer
Boyd Multerer


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


We are grateful to the following sponsors for their financial support of the seL4 summit 2022.

Contact if you are interested in sponsoring the seL4 summit 2022.


For questions regarding location, venue, and registration, please contact

For all other questions, please contact