List overview
Download

Announce March 2024

announce@sel4.systems

seL4 summit dates (and don't forget to submit a talk!)
by Announcements about seL4 -- low volume list 19 Mar '24

19 Mar '24

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

1 0