
Hi Nick I hope you enjoyed the summit. If you get a chance, can you please upload your welcome slides to Sched <https://sched.com/>? Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hjEV6_4v7rOu2UlrGiXoYDXKCoamQGd4pUAp-BcPNXWoFFVy-fUw0v27qdBPaprVQNmhnSSkdWjf8YePGKCzagSmhKihTGmxbXyq_kPDZJpAYfQjY8GIfLjfhrYOBo8vKUSNBbXGJfLLr7dJ4ALLerUSn2oGfbUYcb5VvnPXtkIQriqitcwzXO7p0F4KaR91qAq539oHAi6> to upload (max file size is 50MB)! Alternatively, please send them to Stacey or me, and we can do it for you. We’ll also be putting them on https://sel4.systems/Summit/2025/program.html for people to peruse. cheers Birg Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>

Hello Birg, Thanks for the reminder, I've uploaded them. Not sure if this matters, as the spelling seems to be fine everywhere else, but I just noticed that the titles for my two talks on sched spell Colias Group as Collas Group. Seems to be just the talk titles, though, Colias is spelled correctly even elsewhere on sched. Just mentioning this so that the misspelling doesn't leak into other places, such as youtube uploads. The summit was a huge success, thanks for all of your work making it happen! Best, Nick On Thu, Sep 11, 2025 at 3:34 PM Birgit Brecknell <bbrcknl@gmail.com> wrote:
Hi Nick
I hope you enjoyed the summit. If you get a chance, can you please upload your welcome slides to Sched <https://sched.com/>? Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hjEV6_4v7rOu2UlrGiXoYDXKCoamQGd4pUAp-BcPNXWoFFVy-fUw0v27qdBPaprVQNmhnSSkdWjf8YePGKCzagSmhKihTGmxbXyq_kPDZJpAYfQjY8GIfLjfhrYOBo8vKUSNBbXGJfLLr7dJ4ALLerUSn2oGfbUYcb5VvnPXtkIQriqitcwzXO7p0F4KaR91qAq539oHAi6> to upload (max file size is 50MB)!
Alternatively, please send them to Stacey or me, and we can do it for you.
We’ll also be putting them on https://sel4.systems/Summit/2025/program.html for people to peruse.
cheers Birg
Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems bbrcknl@gmail.com

Hi Nick, Thank you for flagging, and we'll update Sched and we'll make sure recording video's have the correct spelling. Best, Evi On Thu, Sep 11, 2025 at 9:03 PM Nick Spinale via Summit <summit@sel4.systems> wrote:
Hello Birg,
Thanks for the reminder, I've uploaded them.
Not sure if this matters, as the spelling seems to be fine everywhere else, but I just noticed that the titles for my two talks on sched spell Colias Group as Collas Group. Seems to be just the talk titles, though, Colias is spelled correctly even elsewhere on sched. Just mentioning this so that the misspelling doesn't leak into other places, such as youtube uploads.
The summit was a huge success, thanks for all of your work making it happen!
Best, Nick
On Thu, Sep 11, 2025 at 3:34 PM Birgit Brecknell <bbrcknl@gmail.com> wrote:
Hi Nick
I hope you enjoyed the summit. If you get a chance, can you please upload your welcome slides to Sched <https://sched.com/>? Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hjEV6_4v7rOu2UlrGiXoYDXKCoamQGd4pUAp-BcPNXWoFFVy-fUw0v27qdBPaprVQNmhnSSkdWjf8YePGKCzagSmhKihTGmxbXyq_kPDZJpAYfQjY8GIfLjfhrYOBo8vKUSNBbXGJfLLr7dJ4ALLerUSn2oGfbUYcb5VvnPXtkIQriqitcwzXO7p0F4KaR91qAq539oHAi6> to upload (max file size is 50MB)!
Alternatively, please send them to Stacey or me, and we can do it for you.
We’ll also be putting them on https://sel4.systems/Summit/2025/program.html for people to peruse.
cheers Birg
Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems bbrcknl@gmail.com
_______________________________________________ Summit mailing list -- summit@sel4.systems To unsubscribe send an email to summit-leave@sel4.systems

This has been updated in sched.com. Stacey On Thu, Sep 11, 2025 at 9:36 PM Evi Harmon <eharmon@linuxfoundation.org> wrote:
Hi Nick,
Thank you for flagging, and we'll update Sched and we'll make sure recording video's have the correct spelling.
Best, Evi
On Thu, Sep 11, 2025 at 9:03 PM Nick Spinale via Summit <summit@sel4.systems> wrote:
Hello Birg,
Thanks for the reminder, I've uploaded them.
Not sure if this matters, as the spelling seems to be fine everywhere else, but I just noticed that the titles for my two talks on sched spell Colias Group as Collas Group. Seems to be just the talk titles, though, Colias is spelled correctly even elsewhere on sched. Just mentioning this so that the misspelling doesn't leak into other places, such as youtube uploads.
The summit was a huge success, thanks for all of your work making it happen!
Best, Nick
On Thu, Sep 11, 2025 at 3:34 PM Birgit Brecknell <bbrcknl@gmail.com> wrote:
Hi Nick
I hope you enjoyed the summit. If you get a chance, can you please upload your welcome slides to Sched <https://sched.com/>? Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hjEV6_4v7rOu2UlrGiXoYDXKCoamQGd4pUAp-BcPNXWoFFVy-fUw0v27qdBPaprVQNmhnSSkdWjf8YePGKCzagSmhKihTGmxbXyq_kPDZJpAYfQjY8GIfLjfhrYOBo8vKUSNBbXGJfLLr7dJ4ALLerUSn2oGfbUYcb5VvnPXtkIQriqitcwzXO7p0F4KaR91qAq539oHAi6> to upload (max file size is 50MB)!
Alternatively, please send them to Stacey or me, and we can do it for you.
We’ll also be putting them on https://sel4.systems/Summit/2025/program.html for people to peruse.
cheers Birg
Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems bbrcknl@gmail.com
_______________________________________________ Summit mailing list -- summit@sel4.systems To unsubscribe send an email to summit-leave@sel4.systems
participants (4)
-
Birgit Brecknell
-
Evi Harmon
-
Nick Spinale
-
Stacey Orlick