Meet the Program Committee of the seL4 summit 2022
18 Mar
2022
18 Mar
'22
12:31 p.m.
The seL4 Foundation is excited to present the Program Committee for the seL4 summit 2022! https://sel4.systems/news/2022#summit-pc <https://sel4.systems/news/2022#summit-pc> https://sel4.systems/Foundation/Summit/ <https://sel4.systems/Foundation/Summit/> Stay tuned for the Call for Presentation soon! June
1055
Age (days ago)
1055
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list