[seL4 Announce] seL4 summit dates (and don't forget to submit a talk!)

Hi all, We are happy to share that the dates for the seL4 summit 2024 are 15-16-17 October 2024. Don't forget to submit a talk proposal before 22 April on: https://sel4.systems/Foundation/Summit/2024/submit Looking forward to receiving your proposals. June https://www.linkedin.com/posts/sel4_the-dates-for-the-sel4-summit-2024-are-15-activity-7175518948447113216-SXgt?utm_source=share&utm_medium=member_desktop seL4 Foundation on LinkedIn: The dates for the seL4 summit 2024 are: 15-16-17 October 2024! Don't… linkedin.com