8 Nov
2023
8 Nov
'23
5:48 p.m.
Dear seL4 friends,
With the great success of the seL4 summit 2023 behind us, we are now looking at the seL4 summit 2024! This should happen around Sep/Oct 2024.
We have started investigating options for the location, and we would like your feedback. We would greatly appreciate it if you could fill in this very short survey to tell us your opinion between Abu Dhabi and Sydney: https://forms.gle/LQKSHVrqLGNqV2Ld8
Please do so by Nov 22nd 2023.
Feel free to forward to anyone you believe may want to attend the summit next year.
Many thanks! June & Birg
---
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