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-7079112999155707906-g4ir?utm_source=share&utm_medium=member_desktop

Thanks!
June