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
Workshops, Trainings & Tutorials (13.October)
Connect & exchange knowledge with other seL4 enthusiasts
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.
Follow us on LinkedIn to get the latest news about sale opening, early bird tickets & all updates about the summit