seL4 Summit 2024
Sydney, Australia
15-17 October 2024
Important Dates:
- Abstracts due:
22 April 202429 April 2024 - Notification of decisions: 7 June 2024
- Early bird cut-off: 15 September 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).
Registration
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
The early bird cut-off date is 15 September 2024.
Location & Venue
The seL4 Summit 2024 will be held in Sydney, Australia in 15-17 October 2024 at Holiday Inn Sydney Potts Point.
Further information about location, venue and travel is available on the Linux Foundation registration site.
Program & Abstracts
Videos of the seL4 summit 2024 are available on the seL4 YouTube channel! Links and slides can be found on the summit Program and Abstracts pages. Thanks to all the speakers for making the seL4 summit 2024 a great success!
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 22 April 2024 29 April 2024. Find all the submission information in the Call for Presentations.
Keynote Speakers
seL4 Anniversary Panel Session
seL4 celebrated three key anniversaries in 2024. To celebrate these key anniversaries, a special panel will gather at the seL4 Summit 2024 to reflect on the journey over the past 20 years and discuss the future ahead.
The panel will cover the journey from the early days (2004-2009) to the developments over the years (2009-present), and then look to the future, with key players outlining their visions for seL4 in the next 20 years. The panel will be a mix of in-person anecdotes, videos, and quotes, including participants from Collins Aerospace, DARPA, Dornerworks, Kry10, Proofcraft, The University of Melbourne and UNSW.
The panel will be moderated by Nick Spinale from Colias Group, LLC.
Training day @ UNSW
18 October 2024
Room G10 in the Electrical Engineering Building
Registration for training day
Register for the LionsOS, Rust or both tutorials
Training day @ UNSW is free, but please register by 17 October 2024 so that we can account for numbers. Ideally please register interest before 30 September 2024. Lunch is not included but there are plenty of coffee and food outlets on campus.
Using LionsOS
Ivan Velickovic, UNSW Sydney
10:00 - 12:30
LionsOS is a new Operating Systems developed at Trustworthy Systems aimed at embedded, IoT, and cyberphysical systems. LionsOS is based on the seL4 Microkit and is desgined to formally verifiable, performant, and adaptable to a wide class of use-cases.
LionsOS, by design, is not a conventional OS and hence it may be overwhelming for users who want to get started and are not familiar with the ideas and goals of LionsOS.
This hands-on tutorial aims to ease people into creating a LionsOS-based system. We will be using the components and tools provided by LionsOS to, step-by-step, transform a minimal boilerplate system to a functional system involving various drivers, virtual machines and other components.
See the training in the program.
What to bring:
- Your own laptop
Using Rust in seL4 Userspace
Nick Spinale, Colias Group, LLC
14:00 - 16:30
Rust has been an officially supported language for use in seL4 userspace since last year's summit. In this workshop, participants will be led through a tutorial that demonstrates how to leverage Rust and its ecosystem to rapidly build memory-safe components for seL4-based systems. This tutorial will cover a range of scenarios, including Microkit protection domains as well as building on seL4 directly.
See the training in the program.
What to bring:
- Your own laptop with Docker installed.
Social activities
A number of informal social activities are being organised by local Sydney-siders. Check out the list and contact the organisers to register your interest.
Program Committee
Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
Sponsors
We are grateful to the following sponsors for their financial support of the seL4 summit 2024.
See here if you are interested in sponsoring the seL4 summit 2024.
Contact
For any questions regarding the summit, please contact summit@sel4.systems.