seL4 Summit November 15-18, 2020
The Centre of Excellence proudly presents the third annual seL4 Summit.
The four days will be packed full of information presented by both private and government seL4 experts. This once a year opportunity will allow you to find answers to any questions you may have regarding the highly versatile hypervisor.
• November 15th: An interactive opportunity will be presented to summit-goers, introducing you to the layout of this event.
• November 16th: The first full day of the summit brings experts from around the country to discuss government efforts in the future of seL4, followed by the progress of core technologies in this hypervisor.
• November 17th: Don't miss out on the second day of events, presenting assured systems, the applications of this groundbreaking technology. From commercial and industrial adoption to the execution of seL4, a range of your queries will be answered.
• November 18th: On the final day of this expose, hear from a variety of speakers explaining the ongoing research, as well as the challenges.
Find out more at https://www.sel4summit.com and visit our page often at trustedst.com for updates on other events. We hope to see you there!