List overview
Download

Announce April 2022

announce@sel4.systems

1 participants
1 discussions

Start a nNew thread

The seL4 Summit 2022 will be in Munich, Germany, on 10-12 Oct 2022
by Announcements about seL4 -- low volume list 29 Apr '22

29 Apr '22

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/news/2022 https://sel4.systems/Foundation/Summit/ https://sel4.systems/Foundation/Summit/cfp

1 0