seL4 Summit

This event has passed. View the upcoming Applications Events.

""

Speaker Guide

We look forward to having you present at seL4 Summit 2025 soon at the Grandior Hotel Prague, Na Poříčí 1052/42, 110 00 Florenc, Czechia.

Below are all the logistical details you need to prepare as a speaker:

Presentation Logistics
  • Speakers must bring their own laptops for presentations. An HDMI cable will be available at the lectern; please bring an adapter if your laptop lacks an HDMI port.
  • There will be no hardline at the podium. Speakers must use wifi to access the internet.
  • IMPORTANT: Ensure you are presenting in Light Mode. Presentations in Dark Mode may darken and remove blue light to create a warmer, yellowish or orange tone that may not be desired.
  • An AV tech will be present during your presentation. Please visit the AV table 10 minutes before your session to review microphone options and get help with connecting your laptop if needed. All speakers should review the Connecting Your Laptop To Present section below.
  • Each room will have a screen, projector, and a wired microphone at the podium.
  • Slide clickers will not be provided for breakout sessions. Please note: sessions will be recorded from a stationary camera, so we ask that speakers remain close to the podium to ensure they remain in the shot.
Questions+Answers (Q+A)
  • We encourage you to reserve time for audience Q+A after concluding your presentation, but this must stay within your allocated time and cannot exceed it. If you wish to continue answering questions after your time slot ends, please move the discussion outside the room so we can prepare for the next speaker.
  • If an attendee without a microphone asks a question, please repeat it into your microphone before answering to ensure it is captured in the YouTube recording for viewers at a later date.
  • Q+A is only available for full session presentations. Due to the rapid nature of lightning talks, we unfortunately cannot accommodate Q+A for them.
Share Slide Deck
  • Please ensure you have uploaded a PDF copy of your slides to Sched.com by Tuesday, August 26.
  • Sessions with PDF copies of presentations attached tend to have better attendance. These PDFs allow attendees to preview your presentation and optionally follow along during your talk. Note that you will present using the PowerPoint version directly from your laptop and not this PDF version.
  • Please review these Sched.com instructions, which includes steps and screenshots to upload your presentation PDF.
  • If you are not presenting slides, you do not need to complete this step.
Badge Pick-up
  • Before coming onsite, please review the times and location for Registration + Badge Pick-Up.
  • Be prepared to have your ID ready for the registration desk if needed.
  • Name badges must be worn at all times and cannot be shared with other attendees.
  • The event’s Wi-Fi password can be found on the back of your badge.
Confirm Speaking Time Slot and Location
Onsite Assistance
  • For onsite assistance, please contact the AV tech in your breakout room, an event staff member, or visit our Registration Desk.

Please don’t hesitate to reach out to the Stacey Orlick if you have any other questions or concerns.

We’ll see you in Prague soon!

Important dates & Deadlines

  • Speaker Registration Deadline: Wednesday, 16 July
  • Additional AV Needs Deadline: Thursday, 14 August
  • 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, 16 July.

VENUE AND HOTEL ACCOMMODATIONS

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.   

SCHEDULE, TIMING, & SPEAKER PROFILES

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.

AV DETAILS & REQUIREMENTS

Any additional AV requests are due by Friday, 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 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 case-by-case.

PRESENTATION TEMPLATE & SLIDE UPLOAD

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.

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

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.

CONTACT US

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

Sponsors

Silver

Bronze

Evening Reception