The seL4 summit 2024 will be held in Sydney, Australia, 15-17 October 2024.
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.
Local seL4 Sydney-siders will look into organising some informal activities for Monday 14 October 2024, before the summit kicks off, for anyone who wants to join. Gernot may also organise a bush walk for the weekend before the summit. Stayed tuned for more info!
The seL4 Foundation is pleased to welcome Apple as our latest member.
We are excited to see their interest in seL4 and look forward to seeing their work with seL4.
We are extremely pleased to announce that the functional
correctness proof for seL4 on the 64-bit Arm architecture
(AArch64) is complete!
We congratulate to our member
Proofcraft for this great
achievement, which marks a major milestone in the development of
the seL4 microkernel and its ecosystem.
We also would like to express our immense gratitude to UK's
National Cyber Security
Centre (NCSC) for funding this work, which is of great
importance for the seL4 ecosystem.
For more information
check Proocraft's
news item.
Call For Presentations for the seL4 Summit 2024
- Share your seL4 work
- Share your seL4 experience
- Share your seL4 thoughts
Check the full Call For Presentations. To propose a talk, upload an abstract of one page or less by 22 April 2024 to the submission portal.
Also note the open invitation for a 5-minute slot to talk about your seL4 deployment.
We are thrilled to announce our program committee for the seL4 Summit 2024. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
It is our pleasure to confirm that the seL4 Summit 2024 will be in:
Sydney, Australia, 15-17 Oct 2024.
We look forward to welcoming the community in the birthplace of seL4.
We will announce a Call for Presentations in the coming weeks. Stay tuned!
