[Summit-pc] (seL4 summit) program is out, please share it! :)

Dear seL4 summit PC, As you may have seen, we have announced the program for the seL4 summit 2023. Please share it in your circles! https://sel4.systems/news/2023#summit-program-2023 https://www.linkedin.com/posts/sel4_program-of-the-sel4-summit-2023-activity... Thanks! June