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) > <[email protected]> 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> > > > > > _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
