Have a look at the program of the seL4 summit 2023! We have a great line-up of interesting seL4 work, with a combination of technical research and development, experience reports of seL4 in the field, technical discussions and birds-of-a-feather sessions, as well as a training session on getting started with seL4. https://sel4.systems/news/2023#summit-program-2023