seL4 summit dates (and don't forget to submit a talk!)
19 Mar
2024
19 Mar
'24
2:54 a.m.
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
283
Age (days ago)
283
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list