FOLLOW US ON:
HEADQUARTER POSTAL ADDRESS:
OUR OFFICE IS LOCATED HERE:
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.
3 Days of talks, keynotes, seL4 updates & discussions
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
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
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.
A perfect combination of technical research and development, experience reports, technical discussions, seL4 bootcamp, tutorial and trainings
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!
Interested in becoming a sponsor? Please contact the seL4 Foundation for the sponsorship package and further information
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
Follow us on LinkedIn to get the latest news about sale opening, early bird tickets & all updates about the summit