Dear PC of the seL4 summit 2022, The CFP is now out: https://sel4.systems/Foundation/Summit/cfp Please share it as widely as possible. As discussed during the last call, I rely on you to use your networks to encourage people to submit interesting talks, and you can also actively ping specific people you’d like to hear about. I am 1 week late in my original planning [0] due to overloading on my end but we are still having 5-6 weeks for people to submit, which should be plenty for just a few paragraphs. We will send a reminder 2-3 weeks before the deadline; I’ll let you know when that happens. Let me know if you have any questions Thanks June [0] https://docs.google.com/spreadsheets/d/1aVK9WoaElkNTL5pXJj-9qJ3GgXkmLV4qwwMD...