Hello Sid Agrawal,

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. Please follow these steps to upload (max file size is 50MB)!

Credly Badges

We’re pleased to send you a digital credential through our partnership with 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@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