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:
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).
The seL4 Summit 2024 will be held in Sydney, Australia in October 2024 (date and venue TBC).
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.
Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
For any questions regarding the summit, please contact firstname.lastname@example.org.