News about seL4 and the seL4 Foundation

Older News: 2020 2021 2022 2023 2024
seL4 summit

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.

seL4 summit

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.

seL4 summit

It is our pleasure to confirm that the seL4 Summit 2024 will be in:

Sydney, Australia, Oct 2024 (dates TBC).

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!

Sydney Harbour
LF annual report