It is our pleasure to confirm that the seL4 Summit 2024 [0] 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!
[0] https://sel4.systems/Foundation/Summit/2024/
---
Birgit Brecknell
Project Coordinator, seL4 Foundation
birgit@sel4.systemsmailto:birgit@sel4.systems
birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm