Hi

I have heard back from the co-chairs. Yuning's talk has been moved to Day 3, 5 Sep, 9:50 - 10:05.

Please note that Yuning's abstract still hasn't been uploaded to Sched https://events.linuxfoundation.org/sel4-summit/program/schedule/. Please upload it asap, as requested in earlier emails.

Regards,
Birgit



On Fri, 22 Aug 2025 at 22:58, DeepComputing Marketing <marketing@deepcomputing.io> wrote:
Hi Team,

Can yuning do it on Sept 5? 
From: "Birgit Brecknell"<bbrcknl@gmail.com>
Date: Fri, Aug 22, 2025, 5:11 AM
Subject: Re: Possibility of seL4 Summit 2025 Session Time Changes
To: "DeepComputing Marketing"<marketing@deepcomputing.io>
Cc: "Evi Harmon"<eharmon@linuxfoundation.org>, "seL4 Events Team"<summit@sel4.systems>, "Stacey Orlick"<sorlick@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@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@gmail.com>
Date: Wed, Jul 2, 2025, 2:39 PM
Subject: Re: seL4 Summit 2025: Speaker Information
To: "DeepComputing Marketing"<marketing@deepcomputing.io>
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@deepcomputing.io> wrote:
Hi Evi,

If yuning attend by himself can we choose hobbyist type? 

Thanks.
From: "Evi Harmon"<eharmon@linuxfoundation.org>
Date: Wed, Jul 2, 2025, 4:11 AM
Subject: Re: seL4 Summit 2025: Speaker Information
To: "DeepComputing Marketing"<marketing@deepcomputing.io>
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: Member, Non-Member, Student, or Hobbyist. You can select the option that best fits your status.

Registration includes: 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@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@linuxfoundation.org>
Date: Thu, Jun 26, 2025, 1:59 AM
Subject: seL4 Summit 2025: Speaker Information
Dear Yuning Liang,

We welcome you as a speaker for seL4 Summit 2025, 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. 

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 for seL4 Summit 2025 no later than Wednesday, 2 July. 

SCHEDULE & UPLOADING BIO/PHOTO
The schedule is posted on our website using sched.com. You should have received an email from sched.com 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 if you need any assistance.  

HOTEL RESERVATIONS
We have negotiated a discounted rate at the Grandior Hotel Prague. Please visit our Venue & Travel 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 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. 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 an online course 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@contractor.linuxfoundation.org. 

Once again, congratulations, and we look forward to seeing you in Prague!

Kind Regards,
The Linux Foundation Events Team






beacon


Birgit Brecknell
seL4 Foundation Project Coordinator
Sydney, Australia
Mon 9-5
Wed 2-5
Fri 9-5