The seL4 summit 2024 will be held in Sydney, Australia

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!