seL4 Summit
""

Speaker Guide

Important dates & Deadlines

  • Speaker Registration Deadline: Monday, 13 July
  • Additional AV Needs Deadline: Tuesday, 4 August
  • Slide Upload Deadline: Prior to the end of the Summit on 3 September
  • Event Dates: Tuesday, 1 September – Thursday, 3 September

REGISTRATION

You should have received registration information in your speaker notification email. If you need those details again, please contact [email protected].

VISA REQUESTS

If you require a visa letter, please register for the event and then complete the visa letter request form.

All visa letter requests must be submitted no later than two weeks prior to the event. Any visa letter requests made after the two-week deadline cannot be guaranteed.

We also ask that you please note the following:

  • The provision of a visa letter by The Linux Foundation does not guarantee visa approval, as final approval is at the sole discretion of the government of the event’s host country.
  • The Linux Foundation strongly recommends that you request a visa letter at your earliest convenience and contact your local Embassy/Consulate with any visa questions you may have.
  • The Linux Foundation processes most visa letter requests in (3) business days.

VENUE AND HOTEL ACCOMMODATIONS

seL4 Summit 2026 will take place in Vancouver, Canada, BC, at:
Hyatt Regency Vancouver
655 Burrard Street
Vancouver, Canada BC V6C 2R7

We have negotiated a discounted rate at the Hyatt Regency Vancouver. Please visit our Venue & Travel page for more information. Rooms will likely sell out before the room block closes on Monday, 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 Jennifer Crowley at [email protected].
  • If you need to change the title or abstract of your session, please send those details to Jennifer Crowley, who will update them on your behalf.
  • While preparing your slides and presentation, we kindly ask you to be mindful of the potentially wide audience. People will have different technical levels, different backgrounds, and different levels of knowledge and understanding of seL4 and its associated technologies. As we aim to grow our community and welcome new people at the summit, please make sure you provide enough introduction, background, and definitions at the start of your talks so that most people can follow your talk. 

AV DETAILS & REQUIREMENTS

Any additional AV requests are due by Tuesday, 4 August.

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 Jennifer Crowley at [email protected] with those needs by Tuesday, 4 August. 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.

PRESENTATION TEMPLATE & SLIDE UPLOAD

Submission Deadline: Prior to the end of the Summit on 3 September

Please upload your slides before the end of the summit.

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
  • Or send your slides to [email protected], who will upload them on your behalf.

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

Connecting Your Laptop to present

If you plan to use speaker notes, please follow the steps below to ensure your laptop is set up correctly. This will allow you to view your notes while the audience sees only your slides.

Before Connecting
  • Close all unnecessary apps & tabs
  • Turn off notifications
  • Disable Night Mode / TrueTone
  • Don’t enter full-screen presentation mode yet
At the podium
  • Plug in the HDMI cable
  • If needed, use your USB-C to HDMI adapter
  • On Mac, click “Allow” if prompted
Use “Extended Display” mode (not Mirrored)
Using MAC
  • Go to System Settings > Displays
  • Click the “Arrangement” tab
  • Make sure “Mirror Displays” is unchecked
Using PC
  • Press ⊞Win + P, then select “Extend”
  • Or: Right-click on the Desktop > Display Settings
  • Under Multiple Displays, select “Extend these displays”
PowerPoint
  • Start slideshow: ⌘Cmd + Enter (Mac) or F5 (PC)
  • Or: Click Slide Show > Play from Start
  • If notes show on the wrong screen, click “Swap Displays”

PowerPoint® is a registered trademark of Microsoft Corporation. This instructional content is provided for educational purposes only and does not imply endorsement or affiliation with Microsoft.

Google Slides
  • Use Google Chrome as your browser
  • Click the dropdown next to ‘Slideshow’ > select Presentation Display Options
  • Check “Presenter View” and “Full Screen”
  • If prompted, select “Allow”
  • Choose the external display (may have a strange name like PanasonicXYZ)
  • Click Start Slideshow

Google Slides™ is a trademark of Google LLC. This instructional content is provided for educational purposes only and does not imply endorsement or affiliation with Google.

Inclusive Speaker Orientation Online Course

In collaboration with the National Center for Women in Technology (NCWIT), the Linux Foundation has created an online course to teach viewers 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, available 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 Jennifer Crowley at [email protected].

Sponsors

Gold

Silver

Conference Dinner