[seL4 Announce] The seL4 summit Program is available

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 https://sel4.systems/Foundation/Summit/program Stay tuned for registration information, and see you in Munich in October! June