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.

Stay tuned for registration information, and see you in Munich in October!