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)

Workshops, Trainings & Tutorials (13.October)

Networking

Connect & exchange knowledge with other seL4 enthusiasts

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 

Program

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

VIEW PROGRAM
Early Bird Sale!

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!

BUY TICKETS NOW

Become a Sponsor!

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

CONTACT
INFINITY Hotel

Location

INFINITY HOTEL Conference Center & Hotel Munich Andreas-Danzer-Weg 1–3 85716 Unterschleißheim

WEBSITE

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

Days
Hours
Minutes
Seconds

Contact us

Questions? Send us an E-mail!

Send Inquiry