September 2025 - Summit - lists.sel4.systems

slide upload to sched
by Birgit Brecknell 26 Sep '25

26 Sep '25

Hi Yanyan I hope you enjoyed the summit. If you get a chance, can you please upload your slides to Sched <https://sched.com/>? Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hj…> 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(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

2 3

Automatic reply: seL4 Summit 2025 - Survey Reminder & Session Videos
by Tessa Lunney 16 Sep '25

16 Sep '25

Hi, I'm not at work at the moment. As I'm taking some annual leave, I'll return to work on Friday September 19th 2025. I look forward to answering your email then. Please note that my usual work days are Monday, Wednesday, and Thursday. Regards, Tessa Lunney This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.

1 0

Automatic reply: seL4 Summit 2025 - Survey Reminder & Session Videos
by Debbie Verbrugge 16 Sep '25

16 Sep '25

Hello! I am out of the office; I'll look forward to responding to your email when I return. Debbie

1 0

slide upload to sched
by Birgit Brecknell 16 Sep '25

16 Sep '25

Hi Robbie I hope you enjoyed the summit. If you get a chance, can you please upload your concluding remarks slides to Sched <https://sched.com/>? Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hj…> 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(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

2 1

slide upload to sched
by Birgit Brecknell 12 Sep '25

12 Sep '25

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_MlLDmj8ow4JKvabm5hj…> 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(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

4 3

slide upload to sched
by Birgit Brecknell 12 Sep '25

12 Sep '25

Hi June Did you have slides to add to Sched <https://sched.com/> for your announcements, or should we only link to the youtube video when we put up the slides and videos? cheers Birg Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

2 1

slide upload to sched
by Birgit Brecknell 12 Sep '25

12 Sep '25

Hi Boyd I hope you enjoyed the summit. If you get a chance, can you please upload your slides to Sched <https://sched.com/>? Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2j4O_MlLDmj8ow4JKvabm5hj…> 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(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Sel4 expert introduction
by ngaio.merrick＠gmail.com 11 Sep '25

11 Sep '25

Hi I am a venture capitalist researching due diligence into a company using Sel4 technology to deliver a platform. As part of our due diligence, we are looking to speak with an expert in Sel4 to verify the information sent by the company. Are you able to make an introduction to any of your panellists for the summit earlier this month? Or any of the program committee? We need about 12 minutes of their time. Much appreciated Kind regards Ngaio +64 21 741 742 Ngaio.merrick(a)gmail.com <mailto:Ngaio.merrick@gmail.com> General Partner Nuance Connected Capital

3 2

Photo & Recorded Video at seL4 Summit
by DeepComputing Marketing 10 Sep '25

10 Sep '25

Hi Team, I'd like to where we can get the official photo of the event, also will there be recorded video of Yuning's session? Thanks. > From: "DeepComputing Marketing"<marketing(a)deepcomputing.io> > Date: Fri, Aug 22, 2025, 8:58 PM > Subject: Re: Possibility of seL4 Summit 2025 Session Time Changes > To: "Birgit Brecknell"<bbrcknl(a)gmail.com> > Cc: "Evi Harmon"<eharmon(a)linuxfoundation.org>, "seL4 Events Team"<summit(a)sel4.systems>, "Stacey Orlick"<sorlick(a)contractor.linuxfoundation.org> > Hi Team, > > > Can yuning do it on Sept 5? > From: "Birgit Brecknell"<bbrcknl(a)gmail.com> > Date: Fri, Aug 22, 2025, 5:11 AM > Subject: Re: Possibility of seL4 Summit 2025 Session Time Changes > To: "DeepComputing Marketing"<marketing(a)deepcomputing.io> > Cc: "Evi Harmon"<eharmon(a)linuxfoundation.org>, "seL4 Events Team"<summit(a)sel4.systems>, "Stacey Orlick"<sorlick(a)contractor.linuxfoundation.org> > Hi > > > I'm not sure if we can move Yuning's session to Fri 5 Sep, because we already have a tight schedule. Let me check with the chairs and get back to you. > > > cheers > Birg > > On Wed, 20 Aug 2025 at 22:39, DeepComputing Marketing <marketing(a)deepcomputing.io> wrote: > > > Hi Team, > > > > > > I’m sorry that Yuning will only be able to arrive in Prague late on September 4. Would it be possible to adjust his session time accordingly? > > > > > > Thanks > > From: "Birgit Brecknell"<bbrcknl(a)gmail.com> > > Date: Wed, Jul 2, 2025, 2:39 PM > > Subject: Re: seL4 Summit 2025: Speaker Information > > To: "DeepComputing Marketing"<marketing(a)deepcomputing.io> > > Cc: "Evi Harmon"<eharmon(a)linuxfoundation.org>, "Summit"<summit(a)sel4.systems>, "Stacey Orlick"<sorlick(a)contractor.linuxfoundation.org> > > Hi, > > > > > > Sorry, hobbyist would not be appropriate in this case; it only applies to seL4 enthusiasts who finance their participation on their own. > > > > > > Given that Deep Computing is looking into becoming a member of the seL4 Foundation, I would suggest to proceed with the membership, and once the membership agreement is signed and invoice paid, Yuning could benefit from the members rate and register as member. > > > > > > Otherwise he would register as non-member. > > > > > > cheers > > Birg > > > > On Wed, 2 Jul 2025 at 13:09, DeepComputing Marketing <marketing(a)deepcomputing.io> wrote: > > > > > Hi Evi, > > > > > > > > > If yuning attend by himself can we choose hobbyist type? > > > > > > > > > Thanks. > > > From: "Evi Harmon"<eharmon(a)linuxfoundation.org> > > > Date: Wed, Jul 2, 2025, 4:11 AM > > > Subject: Re: seL4 Summit 2025: Speaker Information > > > To: "DeepComputing Marketing"<marketing(a)deepcomputing.io> > > > Cc: "Summit"<summit(a)sel4.systems>, "Stacey Orlick"<sorlick(a)contractor.linuxfoundation.org> > > > Hello Yuning Liang, > > > > > > > > > Thank you for reaching out. Yes, all speakers are asked to register for seL4 Summit 2025 under one of the available categories<https://events.linuxfoundation.org/sel4-summit/register/#registration-types>: Member, Non-Member, Student, or Hobbyist. You can select the option that best fits your status. > > > > > > Registration includes<https://events.linuxfoundation.org/sel4-summit/register/#whats-included>: access to the full conference program, social and networking events, the Sponsor Zone, daily lunches and coffee breaks, a conference t-shirt, and recordings of all sessions. > > > > > > Let us know if you need help determining the best registration category for you! > > > > > > > > > Best, > > > Evi > > > > > > On Mon, Jun 30, 2025 at 11:15 PM DeepComputing Marketing <marketing(a)deepcomputing.io> wrote: > > > > > > > Hi Team, > > > > > > > > > > > > I want to know if speakers need to buy tickets themselves? Seemed there is no code for speaker to register. > > > > > > > > > > > > Thanks. > > > > From: "CNCF-hosted Co-located Events"<cncfcolocatedevents(a)linuxfoundation.org> > > > > Date: Thu, Jun 26, 2025, 1:59 AM > > > > Subject: seL4 Summit 2025: Speaker Information > > > > To: "Marketing"<marketing(a)deepcomputing.io>, "Summit"<summit(a)sel4.systems> > > > > [image: https://lh7-rt.googleusercontent.com/docsz/AD_4nXe1PLjr0QY8_ne0Vc6Pz9GiCPS-…] > > > > Dear Yuning Liang, > > > > > > > > We welcome you as a speaker for seL4 Summit 2025<https://linuxfoundation-dot-yamm-track.appspot.com/2fepf3zV18SoiX0QmZCH-SH9…>, taking place 3-5 September 2025 in Prague, Czech Republic,for your session, Porting seL4 to the RISC-V SoC, toward a Secure and High-Performance RISC-V AI Platform. > > > > > > > > > > > > We ask that you review the information below and complete all required items to confirm your speaking engagement. Additional information can be found in the Speaker Guide<https://linuxfoundation-dot-yamm-track.appspot.com/2T2HifAgx3Ujmd-Cjyi4g-Bs…>. > > > > > > > > > > > > TIMELINE > > > > • Speaker Registration Deadline: Wednesday, 2 July > > > > • Additional AV Needs Deadline: Friday, 18 July > > > > • Slide Upload Deadline: Tuesday, 26 August > > > > • Event Dates: Wednesday, 3 September - Friday, 5 September > > > > > > > > > > > > REGISTRATION > > > > To confirm you will be presenting, please register<https://linuxfoundation-dot-yamm-track.appspot.com/2uviAhNzaCwXcP0cmEUcB8St…> for seL4 Summit 2025 no later than Wednesday, 2 July. > > > > > > > > > > > > SCHEDULE & UPLOADING BIO/PHOTO > > > > The schedule is posted on our website<https://linuxfoundation-dot-yamm-track.appspot.com/2701XlyVkp1aOtdBwutnT2lW…> using <https://linuxfoundation-dot-yamm-track.appspot.com/2Z9IVfvWNtgDpH60v8B1SWXQ…>sched.com<http://sched.com/>. You should have received an email from sched.com<https://linuxfoundation-dot-yamm-track.appspot.com/2THD8k88j_PECgXPDwhhcmw9…> asking you to create your account; please upload your job title, bio and photo if you have not used Sched before. Please contact Stacey Orlick<sorlick(a)contractor.linuxfoundation.org> if you need any assistance. > > > > > > > > > > > > HOTEL RESERVATIONS > > > > We have negotiated a discounted rate at the Grandior Hotel Prague. Please visit our Venue & Travel<https://linuxfoundation-dot-yamm-track.appspot.com/2L9JsUTY3rX2i2TfEtodt280…> page for more information. > > > > > > > > Rooms will likely sell out before the room block close date of Sunday, 10 August – we encourage you to book early to secure a room at the conference rate. > > > > > > > > AV DETAILS & REQUIREMENTS > > > > Please note the following technical requirements: > > > > > > > > • All speakers must supply their own computer and adapters to use during their talk > > > > • Speakers should format their presentation slides in 16:9 > > > > • The room will include a screen, projector, and (2) microphones - one for the speaker, and one for questions from the audience > > > > > > > > If you require additional AV, please email Stacey Orlick<sorlick(a)contractor.linuxfoundation.org> with those needs by Friday, 18 July. The Linux Foundation will make every effort to accommodate other AV needs; however, final approval for additional AV requests will be made on a case-by-case basis. > > > > > > > > CODE OF CONDUCT > > > > Please read and abide by our Code of Conduct, which you can find here<https://linuxfoundation-dot-yamm-track.appspot.com/2EzBnayCoLl5f5GWFMUyY1rk…>. Our Code of Conduct is strictly enforced. We ask that speakers especially review this code of conduct and are careful to be inclusive in the words and images used during their presentations. > > > > > > > > INCLUSIVE SPEAKER ORIENTATION ONLINE COURSE > > > > In collaboration with the National Center for Women in Technology (NCWIT), the Linux Foundation has created anonline course<https://linuxfoundation-dot-yamm-track.appspot.com/2MTI-aOJuFLynv7wV72_h7Wz…> designed to teach the viewer about inclusion, diversity, and unconscious bias. We highly recommend all of our speakers watch the course to learn tips/tools to use when speaking to encourage inclusivity in presentations and messaging. > > > > > > > > QUESTIONS > > > > If you have any questions, please do not hesitate to email Stacey Orlick at <sorlick(a)contractor.linuxfoundation.org>sorlick(a)contractor.linuxfoundation.org. > > > > > > > > Once again, congratulations, and we look forward to seeing you in Prague! > > > > > > > > Kind Regards, > > > > The Linux Foundation Events Team > > > > > > > > > > > > > > > > > > > > > > > > > > > > [image: beacon] > > > > > > Birgit Brecknell > > seL4 Foundation Project Coordinator > > Sydney, Australia > > Mon 9-5 > > Wed 2-5 > > Fri 9-5 > > birgit(a)sel4.systems > > > > bbrcknl(a)gmail.com > >

3 2

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

05 Sep '25

Hello Christophe Hof, 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/2wzS5EnkrXZc0WtdgGcKStkH…>. Please follow these steps <https://linuxfoundation-dot-yamm-track.appspot.com/2sp8OdcGXE8LYus0VgwmPybG…> 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/2GMTqAGX3UDQtdjaWI9GCl7e…>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