seL4 Summit

seL4 Summit

seL4 Summit 2024 logo

15-17 October 2024

Sydney, Australia

#seL4Summit

16
3
6
53
9

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

14 OctoberUnofficial seL4 Summit Activities
15 OctoberKeynotes + Sessions + Reception
16 OctoberKeynotes + Sessions + Birds of a Feather + Dinner
17 OctoberKeynotes + Sessions

Sponsors

Bronze