# The seL4 Summit 2022 will be in Munich, Germany, on 10-12 Oct 2022

**URL:** <https://sel4.discourse.group/t/the-sel4-summit-2022-will-be-in-munich-germany-on-10-12-oct-2022/518>\
**Category:** Uncategorized\
**Created:** [April 29, 2022, 6:39am UTC](https://sel4.discourse.group/t/the-sel4-summit-2022-will-be-in-munich-germany-on-10-12-oct-2022/518 "2022-04-29T06:39:06Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![june.andronick](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/june.andronick/32/115_2.png) [@june.andronick](https://sel4.discourse.group/u/june.andronick)\
**Post date:** [April 29, 2022, 6:39am UTC](https://sel4.discourse.group/t/the-sel4-summit-2022-will-be-in-munich-germany-on-10-12-oct-2022/518/1 "2022-04-29T06:39:06Z")

</div>

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/)  
[https://sel4.systems/Foundation/Summit/cfp](https://sel4.systems/Foundation/Summit/cfp)