Meet the Program Committee of the seL4 summit 2024
14 Feb
2024
14 Feb
'24
3:41 p.m.
Meet the Program Committee of the seL4 summit 2024 We are thrilled to announce our program committee for the seL4 Summit 2024 [0]. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers. We will announce a Call for Presentations in the coming weeks. Stay tuned! [0] https://sel4.systems/Foundation/Summit/2024/ --- Birgit Brecknell Project Coordinator, seL4 Foundation birgit@sel4.systemsmailto:birgit@sel4.systems birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm
317
Age (days ago)
317
Last active (days ago)
0 comments
1 participants
participants (1)
-
Announcements about seL4 -- low volume list