September 2025 - Summit - lists.sel4.systems

seL4 Summit 2025 - Thank You to Our Speakers!!
by sorlick＠contractor.linuxfoundation.org 05 Sep '25

05 Sep '25

Hello Boyd Multerer, On behalf of the entire planning team and Program Committee, thank you for speaking at seL4 Summit 2025! We hope your experience was enjoyable and beneficial. Your time is valuable, so we truly appreciate you lending some of it to produce meaningful and relevant content for this event. *Uploading Slides to Sched.com Post-Event* If you haven’t already done so, we’d appreciate it if you would share your presentation deck with attendees post-event by uploading the file to Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/2u86bnB_PIaOrW6EdnAb_F1p…>. Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/243zmhvQjiPfxeCTEzwhVOLD…> to upload (max file size is 50MB)! Credly Badges We’re pleased to send you a digital credential through our partnership with <https://linuxfoundation-dot-yamm-track.appspot.com/2upUOXBpuY8YK_MEpPk52R6N…>Credly, which acknowledges your participation as a Speaker at the seL4 Summit. You can display your digital badge in email signatures or digital resumes, as well as on social media sites such as LinkedIn, Facebook, and X. You will receive an email from Credly inviting you to claim your badge within the next two weeks. Please create a Credly account to accept your badge and begin sharing! If you have any issues with your badge, please contact sorlick(a)contractor.linuxfoundation.org. <sorlick(a)contractor.linuxfoundation.org> What’s Next Social Media Share your experience! Don’t forget to include us in your Twitter and LinkedIn posts from the event using #seL4Summit. See you next time! On behalf of the entire seL4 Summit 2025 planning team, thank you again for speaking at the event and we look forward to seeing you in the future! Thanks again, Stacey and the Event Content Team [image: beacon]

1 0

seL4 Summit 2025 - Thank You to Our Speakers!!
by sorlick＠contractor.linuxfoundation.org 05 Sep '25

05 Sep '25

Hello Alain Kägi, On behalf of the entire planning team and Program Committee, thank you for speaking at seL4 Summit 2025! We hope your experience was enjoyable and beneficial. Your time is valuable, so we truly appreciate you lending some of it to produce meaningful and relevant content for this event. *Uploading Slides to Sched.com Post-Event* If you haven’t already done so, we’d appreciate it if you would share your presentation deck with attendees post-event by uploading the file to Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/2ww-mvXI6q6pJ8xKENfn_7u6…>. Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/29cQXWQiwEtrBJg2N_MDvK22…> to upload (max file size is 50MB)! Credly Badges We’re pleased to send you a digital credential through our partnership with <https://linuxfoundation-dot-yamm-track.appspot.com/2mDlWDnfWJVBjmsOaOU5zrbF…>Credly, which acknowledges your participation as a Speaker at the seL4 Summit. You can display your digital badge in email signatures or digital resumes, as well as on social media sites such as LinkedIn, Facebook, and X. You will receive an email from Credly inviting you to claim your badge within the next two weeks. Please create a Credly account to accept your badge and begin sharing! If you have any issues with your badge, please contact sorlick(a)contractor.linuxfoundation.org. <sorlick(a)contractor.linuxfoundation.org> What’s Next Social Media Share your experience! Don’t forget to include us in your Twitter and LinkedIn posts from the event using #seL4Summit. See you next time! On behalf of the entire seL4 Summit 2025 planning team, thank you again for speaking at the event and we look forward to seeing you in the future! Thanks again, Stacey and the Event Content Team [image: beacon]

1 0

seL4 Summit 2025 - Thank You to Our Speakers!!
by sorlick＠contractor.linuxfoundation.org 05 Sep '25

05 Sep '25

Hello Matt Brecknell, On behalf of the entire planning team and Program Committee, thank you for speaking at seL4 Summit 2025! We hope your experience was enjoyable and beneficial. Your time is valuable, so we truly appreciate you lending some of it to produce meaningful and relevant content for this event. *Uploading Slides to Sched.com Post-Event* If you haven’t already done so, we’d appreciate it if you would share your presentation deck with attendees post-event by uploading the file to Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/2akXAqBrTIWaO1W_g4SnXvDl…>. Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2vbj897a8IN7ZkM7z9Fqvy9x…> to upload (max file size is 50MB)! Credly Badges We’re pleased to send you a digital credential through our partnership with <https://linuxfoundation-dot-yamm-track.appspot.com/2fbdq81t9wb7SZpy2RXo_bp5…>Credly, which acknowledges your participation as a Speaker at the seL4 Summit. You can display your digital badge in email signatures or digital resumes, as well as on social media sites such as LinkedIn, Facebook, and X. You will receive an email from Credly inviting you to claim your badge within the next two weeks. Please create a Credly account to accept your badge and begin sharing! If you have any issues with your badge, please contact sorlick(a)contractor.linuxfoundation.org. <sorlick(a)contractor.linuxfoundation.org> What’s Next Social Media Share your experience! Don’t forget to include us in your Twitter and LinkedIn posts from the event using #seL4Summit. See you next time! On behalf of the entire seL4 Summit 2025 planning team, thank you again for speaking at the event and we look forward to seeing you in the future! Thanks again, Stacey and the Event Content Team [image: beacon]

1 0

seL4 Summit 2025 - Thank You to Our Speakers!!
by sorlick＠contractor.linuxfoundation.org 05 Sep '25

05 Sep '25

Hello David Cock, On behalf of the entire planning team and Program Committee, thank you for speaking at seL4 Summit 2025! We hope your experience was enjoyable and beneficial. Your time is valuable, so we truly appreciate you lending some of it to produce meaningful and relevant content for this event. *Uploading Slides to Sched.com Post-Event* If you haven’t already done so, we’d appreciate it if you would share your presentation deck with attendees post-event by uploading the file to Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/2cW106wWyzhAiv0PZkpQxcgI…>. Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2YT4mcbx8jr2uMYYXVEFEuRs…> to upload (max file size is 50MB)! Credly Badges We’re pleased to send you a digital credential through our partnership with <https://linuxfoundation-dot-yamm-track.appspot.com/2l8lBjV6Yk-k30eFPYoOonky…>Credly, which acknowledges your participation as a Speaker at the seL4 Summit. You can display your digital badge in email signatures or digital resumes, as well as on social media sites such as LinkedIn, Facebook, and X. You will receive an email from Credly inviting you to claim your badge within the next two weeks. Please create a Credly account to accept your badge and begin sharing! If you have any issues with your badge, please contact sorlick(a)contractor.linuxfoundation.org. <sorlick(a)contractor.linuxfoundation.org> What’s Next Social Media Share your experience! Don’t forget to include us in your Twitter and LinkedIn posts from the event using #seL4Summit. See you next time! On behalf of the entire seL4 Summit 2025 planning team, thank you again for speaking at the event and we look forward to seeing you in the future! Thanks again, Stacey and the Event Content Team [image: beacon]

1 0

seL4 Summit 2025 - Thank You to Our Speakers!!
by sorlick＠contractor.linuxfoundation.org 05 Sep '25

05 Sep '25

Hello Wanja Zaeske on behalf of Vincent Janson, On behalf of the entire planning team and Program Committee, thank you for speaking at seL4 Summit 2025! We hope your experience was enjoyable and beneficial. Your time is valuable, so we truly appreciate you lending some of it to produce meaningful and relevant content for this event. *Uploading Slides to Sched.com Post-Event* If you haven’t already done so, we’d appreciate it if you would share your presentation deck with attendees post-event by uploading the file to Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/20n6O5HFQ9P6cbnuUt_BRZcE…>. Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2QYKAN31O2VlfBLBSNHNI8QF…> to upload (max file size is 50MB)! Credly Badges We’re pleased to send you a digital credential through our partnership with <https://linuxfoundation-dot-yamm-track.appspot.com/2nt3u9ZXq0DODALAhtn8OyHT…>Credly, which acknowledges your participation as a Speaker at the seL4 Summit. You can display your digital badge in email signatures or digital resumes, as well as on social media sites such as LinkedIn, Facebook, and X. You will receive an email from Credly inviting you to claim your badge within the next two weeks. Please create a Credly account to accept your badge and begin sharing! If you have any issues with your badge, please contact sorlick(a)contractor.linuxfoundation.org. <sorlick(a)contractor.linuxfoundation.org> What’s Next Social Media Share your experience! Don’t forget to include us in your Twitter and LinkedIn posts from the event using #seL4Summit. See you next time! On behalf of the entire seL4 Summit 2025 planning team, thank you again for speaking at the event and we look forward to seeing you in the future! Thanks again, Stacey and the Event Content Team [image: beacon]

1 0

seL4 Summit 2025 - Thank You to Our Speakers!!
by sorlick＠contractor.linuxfoundation.org 05 Sep '25

05 Sep '25

Hello Gerwin Klein, On behalf of the entire planning team and Program Committee, thank you for speaking at seL4 Summit 2025! We hope your experience was enjoyable and beneficial. Your time is valuable, so we truly appreciate you lending some of it to produce meaningful and relevant content for this event. *Uploading Slides to Sched.com Post-Event* If you haven’t already done so, we’d appreciate it if you would share your presentation deck with attendees post-event by uploading the file to Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/2gEGeP572LHiPabshZhPMXRp…>. Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2E5ycoPnHmJmrh1a30ikbO89…> to upload (max file size is 50MB)! Credly Badges We’re pleased to send you a digital credential through our partnership with <https://linuxfoundation-dot-yamm-track.appspot.com/2jymu3XuNgLtScsulofgWbuv…>Credly, which acknowledges your participation as a Speaker at the seL4 Summit. You can display your digital badge in email signatures or digital resumes, as well as on social media sites such as LinkedIn, Facebook, and X. You will receive an email from Credly inviting you to claim your badge within the next two weeks. Please create a Credly account to accept your badge and begin sharing! If you have any issues with your badge, please contact sorlick(a)contractor.linuxfoundation.org. <sorlick(a)contractor.linuxfoundation.org> What’s Next Social Media Share your experience! Don’t forget to include us in your Twitter and LinkedIn posts from the event using #seL4Summit. See you next time! On behalf of the entire seL4 Summit 2025 planning team, thank you again for speaking at the event and we look forward to seeing you in the future! Thanks again, Stacey and the Event Content Team [image: beacon]

1 0

seL4 Summit 2025 - Thank You to Our Speakers!!
by sorlick＠contractor.linuxfoundation.org 05 Sep '25

05 Sep '25

Hello John Hatcliff, On behalf of the entire planning team and Program Committee, thank you for speaking at seL4 Summit 2025! We hope your experience was enjoyable and beneficial. Your time is valuable, so we truly appreciate you lending some of it to produce meaningful and relevant content for this event. *Uploading Slides to Sched.com Post-Event* If you haven’t already done so, we’d appreciate it if you would share your presentation deck with attendees post-event by uploading the file to Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/2Spg9kvPOXp_v7O8RwLyRY8H…>. Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2vgtg3t6qRDlZSxdM8kPLXgE…> to upload (max file size is 50MB)! Credly Badges We’re pleased to send you a digital credential through our partnership with <https://linuxfoundation-dot-yamm-track.appspot.com/2sfjGbJgqyqS2TfqV5KgHDT_…>Credly, which acknowledges your participation as a Speaker at the seL4 Summit. You can display your digital badge in email signatures or digital resumes, as well as on social media sites such as LinkedIn, Facebook, and X. You will receive an email from Credly inviting you to claim your badge within the next two weeks. Please create a Credly account to accept your badge and begin sharing! If you have any issues with your badge, please contact sorlick(a)contractor.linuxfoundation.org. <sorlick(a)contractor.linuxfoundation.org> What’s Next Social Media Share your experience! Don’t forget to include us in your Twitter and LinkedIn posts from the event using #seL4Summit. See you next time! On behalf of the entire seL4 Summit 2025 planning team, thank you again for speaking at the event and we look forward to seeing you in the future! Thanks again, Stacey and the Event Content Team [image: beacon]

1 0

seL4 Summit 2025 - Thank You to Our Speakers!!
by sorlick＠contractor.linuxfoundation.org 05 Sep '25

05 Sep '25

Hello Nick Spinale, On behalf of the entire planning team and Program Committee, thank you for speaking at seL4 Summit 2025! We hope your experience was enjoyable and beneficial. Your time is valuable, so we truly appreciate you lending some of it to produce meaningful and relevant content for this event. *Uploading Slides to Sched.com Post-Event* If you haven’t already done so, we’d appreciate it if you would share your presentation deck with attendees post-event by uploading the file to Sched.com <https://linuxfoundation-dot-yamm-track.appspot.com/24bjXjTIkMIqFN98ZzWc7R08…>. Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2qigc6iGWREWAxSafBR9KxRo…> to upload (max file size is 50MB)! Credly Badges We’re pleased to send you a digital credential through our partnership with <https://linuxfoundation-dot-yamm-track.appspot.com/2u6YufmnxChgBh7ae-QBeMuv…>Credly, which acknowledges your participation as a Speaker at the seL4 Summit. You can display your digital badge in email signatures or digital resumes, as well as on social media sites such as LinkedIn, Facebook, and X. You will receive an email from Credly inviting you to claim your badge within the next two weeks. Please create a Credly account to accept your badge and begin sharing! If you have any issues with your badge, please contact sorlick(a)contractor.linuxfoundation.org. <sorlick(a)contractor.linuxfoundation.org> What’s Next Social Media Share your experience! Don’t forget to include us in your Twitter and LinkedIn posts from the event using #seL4Summit. See you next time! On behalf of the entire seL4 Summit 2025 planning team, thank you again for speaking at the event and we look forward to seeing you in the future! Thanks again, Stacey and the Event Content Team [image: beacon]

1 0

Automatic reply: USE CAUTION READING THIS EMAILYou Helped Make seL4 Summit 2025 a Success! 🎉
by Debbie Verbrugge 05 Sep '25

05 Sep '25

Hello! I am out of the office; I'll look forward to responding to your email when I return. If you have an immediate concern, pleaese contact Jamie VanDeWinkle @ jamie.vandewinkle(a)dornerworks.com Debbie

1 0

Automatic reply: You Helped Make seL4 Summit 2025 a Success! 🎉
by Nathan Studer 05 Sep '25

05 Sep '25

I am out of the office from 09/02/2025-09/10/2025 and will have no access to e-mail until 09/11. Nathan Studer DornerWorks, Ltd.

1 0