seL4 Summit

seL4 Summit

seL4 Summit 2023 logo

September 19-21, 2023

Minneapolis, MN

#SEL4Summit

15
5
15
29
31

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

All times listed in CDT (GMT-5)
Tuesday, September 19Sessions + Reception
Wednesday, September 20Sessions + Dinner
Thursday, September 21Sessions