top of page

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 and visit our page often at for updates on other events. We hope to see you there!

Recent Posts

See All

Trusted Projects in 2021

The Trusted team is working hard to bring Docker Containers to seL4 in the New Year. The difficult task has not been attempted before, making Trusted the vanguard of this new technology. A Docker Cont

Raspberry Pi and seL4

Trusted Science and Technology is always finding new projects to experiment with! Over the past few weeks the Trusted team has set up the Raspberry Pi 4 to run seL4 in AARCH64 bit mode. Raspberry P


bottom of page