Meet the Program Committee of the seL4 summit 2022

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/Foundation/Summit/

Stay tuned for the Call for Presentation soon!
June