Speaker Guide

We are excited to welcome you as a speaker for sel4 Summit 2025, taking place in Prague, Czech Republic, on Wednesday, 3 September – Friday, 5 September, 2025.

Please bookmark this link for easy reference, and click through the tabs on this page to access the information.

• Speaker Registration Deadline: Wednesday, 2 July
• Additional AV Needs Deadline: Wednesday, 18 July
• Slide Upload Deadline: Tuesday, 26 August
• Event Dates: Wednesday, 3 September – Friday, 5 September

To confirm you will be presenting, please register for seL4 Summit 2025 no later than Wednesday, 2 July.

sel4 Summit 2025 will take place in Prague, Czech Republic, at the Grandior Hotel Prague, Na Poříčí 1052/42, 110 00 Florenc, Czechia.

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.   

The schedule is posted on the website using sched.com. You should have received an email from sched.com asking you to create your account; please upload your bio and photo if you have not used Sched before.  

If you have a conflict with the timing of your talk, find that it conflicts with the content of another presentation, or are having problems uploading your bio and photo, please contact Stacey Orlick, sorlick@contractor.linuxfoundation.org.

Any additional AV requests are due by Wednesday, 18 July.

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 any additional AV, please email Stacey Orlick, sorlick@contractor.linuxfoundation.org with those needs by Wednesday, 18 July. The Linux Foundation will make every effort to accommodate other AV needs; however, final approval for additional AV requests will be made case-by-case.

Deadline: Tuesday, 26 August

All speakers are required to submit their final presentation slides ahead of the event. In addition to providing a hard copy for accessibility purposes, we find that adding the presentations before the event helps to drive interest in attending the session.

To upload slides, follow these instructions (guide with screenshots):

• Log into your speaker profile through Sched.com
• On the top of the page, click “Manage and Promote Your Session”
• Click “Add Presentation”
• Click in the “Select a File” box and add the PDF document (note: there is a 50MB size limit)
• Click “Upload” and your slides will automatically be saved

A presentation template is available to download. Use of the template is optional.

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. Please click here for the course. 

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.

If you have any other platform, speaker, or schedule-related questions, please contact Stacey Orlick, sorlick@contractor.linuxfoundation.org.