[seL4 Announce] Meet the Program Committee of the seL4 summit 2024

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