Have a look at the seL4 summit Program! We have an amazing line-up of cool 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 whole day of seL4 bootcamp with tutorials and training.
https://sel4.systems/Foundation/Summit/program
Stay tuned for registration information, and see you in Munich in October!
June