Just a friendly reminder to fill in the survey about summit locations for 2026. https://form.jotform.com/252117628736865 *Please do so by 26 Oct 2025.* Feel free to forward to anyone you believe may want to attend the seL4 summit [0] next year. [0] https://sel4.systems/Summit On Mon, 13 Oct 2025 at 19:18, Announcements about seL4 -- low volume list <announce@sel4.systems> wrote:

After wrapping up a successful seL4 summit 2025 [0], we are now preparing for the seL4 summit 2026! The summit be in Canada, around Sep 2026.

We have started investigating options for cities, and would like your feedback. We would greatly appreciate it if you could fill in this very short survey to tell us your opinions:

https://form.jotform.com/252117628736865

*Please do so by 26 Oct 2025.*

Feel free to forward to anyone you believe may want to attend the summit next year.

[0] https://sel4.systems/Summit/2025/

Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems <mailto:birgit@sel4.systems>> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com> <mailto:bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>> _______________________________________________ Announce mailing list -- announce@sel4.systems To unsubscribe send an email to announce-leave@sel4.systems