One clarification about the summit (since people are asking): it is an in-person event, meaning that there will be no live streaming for remote participation this year, but the event will still be recorded and all talks (for which the presenter accepted to be recorded) will be made available shortly after the summit on the seL4 YouTube channel https://www.youtube.com/@seL4 Cheers June

On 26 Jun 2023, at 17:14, June Andronick (seL4 Foundation) wrote:

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