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? Please follow these steps 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