1 – 3 September 2026
Vancouver, Canada BC
#seL4Summit
31
6
9
51
2
Weeks
Days
Hours
Minutes
Seconds
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.
SCHEDULE at a glance
| Tuesday, 1 September | 9:00AM – 5:00PM | Keynotes, Sessions, Reception |
| Wednesday, 2 September | 9:00AM – 5:00PM | Keynotes, Sessions |
| Thursday, 3 September | 9:00AM – 5:00PM | Keynotes, Sessions, Birds of a Feather |