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
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.brecknell@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.brecknell@unsw.edu.au mailto:birgit.brecknell@unsw.edu.au
Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm
Dear seL4 friends
There are two days left to vote on your preferred location for the seL4 summit 2024.
If you have not voted yet, please vote using the new form, by Nov 22.
https://form.jotform.com/233181191062044
Remember to use the updated link above (and revote if you had only used the old link)!
Thanks Birg&June
---
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
________________________________ From: June Andronick (seL4 Foundation) june@sel4.systems Sent: Wednesday, 15 November 2023 7:12 PM To: seL4 Dev List devel@sel4.systems Cc: birgit@sel4.systems birgit@sel4.systems; Birgit Brecknell birgit.brecknell@unsw.edu.au Subject: (PLEASE RESUBMIT VOTE) Re: seL4 summit 2024: survey about location
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.brecknell@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.systemsmailto:birgit@sel4.systems birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au
Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm
Thank you to everyone who voted.
Following the results of the survey, the seL4 summit 2024 will be in Sydney.
Stay tuned for more info!
June
On 19 Nov 2023, at 22:25, Birgit Brecknell birgit.brecknell@unsw.edu.au wrote:
Dear seL4 friends
There are two days left to vote on your preferred location for the seL4 summit 2024.
If you have not voted yet, please vote using the new form, by Nov 22.
https://form.jotform.com/233181191062044
Remember to use the updated link above (and revote if you had only used the old link)!
Thanks Birg&June
Birgit Brecknell Project Coordinator, seL4 Foundation birgit@sel4.systems mailto:birgit@sel4.systems birgit.brecknell@unsw.edu.au mailto:birgit.brecknell@unsw.edu.au
Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm
From: June Andronick (seL4 Foundation) june@sel4.systems Sent: Wednesday, 15 November 2023 7:12 PM To: seL4 Dev List devel@sel4.systems Cc: birgit@sel4.systems birgit@sel4.systems; Birgit Brecknell birgit.brecknell@unsw.edu.au Subject: (PLEASE RESUBMIT VOTE) Re: seL4 summit 2024: survey about location
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.brecknell@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.brecknell@unsw.edu.au mailto:birgit.brecknell@unsw.edu.au
Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm
-
Birgit Brecknell -
June Andronick (seL4 Foundation)