seL4 summit logo

seL4 Summit 2023

Minneapolis, USA

19 - 21 September 2023

Latest News

Register for the summit

The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people.

Tickets include:

  • Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
  • Networking with other seL4 experts and enthusiasts
  • Reception and Dinner

Register here

The early bird cut-off date is 18 August 2023.

Important Dates

  • Abstracts due: 10 April 2023 24 April 2023
  • Notification of decisions: 2 June 2023 9 June 2023
  • Summit: 19-21 September 2023

About

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.

The seL4 Summit is organised by the seL4 Foundation, in a location aimed to be on a different continent each year, as far as possible.

An open call for presentations invites submissions of short abstracts about cool work on seL4, and a Program Committee made of a wide range of representatives of the seL4 community is in charge of the technical content (reviewing submission, selecting invited speakers, defining the program).

Location and Venue

The seL4 Summit 2023 will be held in Minneapolis, USA, 19 - 21 September 2023, at the Elliot Park Hotel. The summit will be hosted by the Linux Foundation, and will be an in-person event.

Hotel bookings and summit registration

Program committee

Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.

Perry Alexander
U of Kansas
June Andronick
Proofcraft
Todd Carpenter
Galois Inc
Axel Heider
Hensoldt Cyber
Nick Spinale
Colias Group
Robbie VanVossen
Dornerworks

Contact

For any questions regarding the summit, please contact summit@sel4.systems.