It is our pleasure to confirm that the seL4 Summit 2022 will be in:
Munich, Germany in the week of Oct 10th, 2022
It will be hosted by seL4 Foundation member Hensoldt Cyber. It will be a hybrid in-person/online event. If you’d like to propose a talk to be delivered remotely, please notify it in the submission.
Remember that you have until Monday 9th of May 2022 to propose a talk.
https://sel4.systems/Foundation/Summit/
https://sel4.systems/Foundation/Summit/cfp