Dear all, just a friendly reminder we’d be very grateful to get your **opinion on the location for summit’23**: https://forms.gle/k4XxYaYeudYUie9U8 https://forms.gle/k4XxYaYeudYUie9U8 Thanks to all who already submitted their feedback! June

On 9 Nov 2022, at 4:43 pm, June Andronick (seL4 Foundation) wrote:

Dear seL4 friends,

With the great success of the seL4 summit 2022 behind us, we are now already looking at the seL4 summit 2023! This should happen around Sep/Oct 2023.

We have started investigating options for the location, and we would like your feedback. We would very much appreciate if you could fill in this very short survey to tell us your opinion between USA (likely Minneapolis) and Australia (likely Sydney) or any other feedback you have: https://forms.gle/k4XxYaYeudYUie9U8 https://forms.gle/k4XxYaYeudYUie9U8

Please do so by Nov 22nd 2022.

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

Many thanks! June

-- June Andronick CEO of the seL4 Foundation https://sel4.systems/Foundation https://sel4.systems/Foundation