seL4 Summit 2024

Sydney, Australia

15-17 October 2024

About
Location & Venue
Latest News: Submissions and Call for Presentations
Program Committee

All summits: 2022 2023 2024

Important Dates:

Abstracts due: ~~22 April 2024~~ 29 April 2024
Notification of decisions: 7 June 2024
Summit: 15-17 October 2024

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, aiming for a location on a different continent each year, to the extent 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 & Venue

The seL4 Summit 2024 will be held in Sydney, Australia in 15-17 October 2024 at Holiday Inn Sydney Potts Point.

Submissions and Call for Presentations

Share your seL4 work, experience and thoughts at the seL4 summit 2024 in Sydney by submitting a presentation proposal by the 22 of April 2024. Find all the submission information in the Call for Presentations.