The seL4 Summit is the annual international summit on the seL4 microkernel, the world’s most highly assured OS kernel, as well as on all seL4-related technology, tools, infrastructure, products, projects, and people.

It aims to gather all the seL4 community to learn, share, and connect:

• Learn about the seL4 technology, its latest progress, use, successes, challenges, plans;
• Share exciting seL4 development, research, experience, application in the real world;
• Connect with other seL4 developers, users, providers, customers, supporters, potential partners and enthusiasts.

Click here to view the agenda