Skip to content

Join the seL4 summit in Munich!

10.-13. October 2022 (Hybrid Event)

HENSOLDT Cyber, a premium member of the seL4 foundation, will be hosting this year’s seL4 summit – hybrid event (in person / online) – that will be held between 10.-13. October in Munich, Germany. The summit, that will take place for the first time in Europe, is the fourth edition of the international summit on the seL4 microkernel, the world’s most highly assured OS kernel. 

What’s on the agenda?

Conference (Hybrid)

3 Days of talks, keynotes, seL4 updates & discussions

Bootcamp (on-site)

Hands-on workshops, trainings & tutorials. The Bootcamp will take place on the 13.October at the EDISON PARK Conference centre in Munich-Unterschleißheim


Connect & exchange knowledge with other seL4 enthusiasts

Mentoring Program

Attendees have the opportunity to opt-in to a new mentoring program. The purpose of this program is to foster mentorship relationships within the seL4 community

Why should you attend?

The seL4 summit covers the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people.

Learn about the seL4 technology, its latest progress, use, successes, challenges, and plans

Share Exciting seL4 development, research, experience, application in the real world

Connect with other seL4 developers, users, providers, supporters, potential partners

Enjoy a traditional Bavarian dinner, explore Munich city, its surroundings and it’s exciting start up hub

Main details

3 days program 


A perfect combination of technical research and development, experience reports, technical discussions, seL4 bootcamp, tutorial and trainings

Early bird sale until 12.09.2022

Registration & Tickets

The registration for the seL4 Summit is now open! There are limited on-site tickets, so hurry up and get your early bird ticket now!


Become a Sponsor!

Interested in becoming a sponsor? Please contact the seL4 Foundation for the sponsorship package and further information


Venue and surroundings

The summit will take place at the Infinity Hotel at Unterschleissheim, the following bootcamp at the Edison Park closeby. Information on the venues and more, can be found in the summit’s main page


Be the first to know

Follow us on LinkedIn to get the latest news about sale opening, early bird tickets & all updates about the summit

seL4 Summit 2022 Countdown


Contact us

Questions? Send us an E-mail!

Send Inquiry