seL4 Summit

Speaker Guide


We are excited to welcome you as a speaker for sel4 Summit 2024, taking place in Sydney, Australia, on Tuesday, 15 October – Thursday, 17 October, 2024.

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

Important dates & Deadlines

  • Speaker Registration Deadline: Friday, 5 July 
  • Additional AV Needs Deadline: Friday, 6 September 
  • Slide Upload Deadline: Monday, 14 October
  • Event Dates: Tuesday, 15 October – Thursday, 17 October


To confirm you will be presenting, please register for seL4 Summit 2024 no later than Friday, 5 July.


sel4 Summit 2024 will take place in Sydney, Australia at the Holiday Inn Sydney Potts Point, located at: 203 Victoria St, Potts Point NSW 2011, Australia

We have negotiated a discounted rate at the Holiday Inn Sydney Potts Point. Please visit our Venue & Travel page for more information. Rooms will likely sell out before the room block close date of Friday, 13 September – we encourage you to book early to secure a room at the conference rate.   


The schedule is posted on the website using You should have received an email from 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 Carolyn Ingalls at


Any additional AV requests are due by Friday, 6 September.

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 Carolyn Ingalls at with those needs by Friday, 6 September. 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: Monday, 14 October

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
  • 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


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 Carolyn Ingalls at