[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-1... seL4 Foundation on LinkedIn: The dates for the seL4 summit 2024 are: 15-16-17 October 2024! Don't… linkedin.com