Dear seL4 friends, We have had some technical issues with the summit 2024 venue survey. We have closed it and created a new one:
https://form.jotform.com/233181191062044 If you have already voted with the previous form, *please kindly vote again using this new form*, by Nov 22. Apologies for the inconvenience. If you have not voted yet, please vote using the new form, by Nov 22. Many thanks, and apologies again for the inconvenience. Thanks! June&Birg > On 8 Nov 2023, at 07:48, Birgit Brecknell <birgit.breckn...@unsw.edu.au> > wrote: > > 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.systems <mailto:birgit@sel4.systems> > birgit.breckn...@unsw.edu.au <mailto:birgit.breckn...@unsw.edu.au> > > Mon 9am-5pm > Wed 2pm-5pm > Fri 9am-5pm _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems