Dear PC, The venue and dates for the seL4 summit are now confirmed! It will be in Munich (hybrid), 10-12 Oct 2022, hosted by Foundation member Hensoldt Cyber. This has just been announced (website, mailing list, discourse, social media). https://sel4.systems/news/2022 https://www.linkedin.com/feed/update/urn:li:activity:6925695017474801665 The deadline for submissions is rapidly approaching (9th of May). I didn’t manage to send a proper CFP#2 as per the initial schedule [0] (as I caught covid and it knocked me out for almost 2 weeks and I’m still trying to catchup on the backlog) so I aim to send a reminder on Monday with a “1 week left” message. **Please help me spread the message and don’t hesitate to directly nudge people you’d like to hear at the summit :) ** Note that, if you get the question, I have added a note that if people want to submit a talk to be delivered remotely, they can; they should just notify it in their submission. When we discuss all submissions, we’ll check on the balance between in-person and remote talk to make sure the experience is still nice at the event. I’ll send a separate message regarding scheduling our next meeting to discuss the submissions after the reviewing period. Cheers June [0] https://docs.google.com/spreadsheets/d/1aVK9WoaElkNTL5pXJj-9qJ3GgXkmLV4qwwMD...