seL4 Summit
""

FAQ

General

Questions? Please email the seL4 Project Events Team at summit@sel4.systems.

For any COVID-19 or safety-related questions please visit our Health and Safety page.

What is the format of seL4 Summit 2024 and when will it take place?

seL4 Summit 2024 is an in-person event that will take place 15 – 17 October 2024 in Sydney, Australia.

What time zone will the event be in?

seL4 Summit 2024 will be held in Australian Eastern Standard Time (AEST), (GMT+10)

Where do I pick up my name badge?

Badge pick-up will be located in the Bluegum Lobby space of the hotel. Make sure you bring your ID and registration confirmation with you when you pick up your badge.

Name badges must be worn at all times and cannot be shared with other attendees.

What is the recommended attire?

There is no set dress code and, like many open source events, attendees will dress in a range, from jeans to suits. Our recommendation is business casual; jeans are absolutely acceptable. Please wear layers; conference rooms have a tendency to get cold.

How do I access a speaker’s slides after the conference?

Any session slides provided by speakers will be added to the event schedule as they are received. While we encourage all speakers to share their slides, there may be instances where slides are not made available.

Registration

How can I register for the event?

Information on registering can be found on our Register page.

What is the cost of the event?

Information on registration fees can be found on our Register page.

Can I register onsite?

Yes – if you did not have a chance to register online before the event, you may register on-site. Please note that the registration process on-site may take 10-15 minutes. We will only be able to accept credit card payments.

Where do I get my speaker access code?

You should have received a registration link and code in your acceptance email. If you did not, please email cfp@linuxfoundation.org for more details.

Where do I get my sponsor access code?

A registration link and code were shared in an email to your company’s sponsorship contact. Please speak to your company’s sponsorship contact if you need to register as a Sponsor. For further questions, please email summit@sel4.systems.

Are there media passes available?

If you are a member of the media interested in attending the summit and have not received a complimentary access code to attend, please contact summit@sel4.systems.

Who can I contact about questions or problems regarding my registration?

Please email summit@sel4.systems for registration assistance.

What are the cancellation, refund, and substitution policies?

Our registration policies can be found on our Register page.

I can’t / don’t want to use my credit card for registration. What should I do?

If you are unable to pay by credit card, please email events@linuxfoundation.org with the conference name you are interested in attending and request to be invoiced for registration.

I need a visa letter to attend this event. How do I request one?

For information about visa invitation letters, or to request one, visit the Visa Request page.

Is registration for Linux Foundation Events GDPR compliant?

Yes. If you would like to request that your data be removed from the Linux Foundation event registration system, please email gdpr@linuxfoundation.org. If you have questions about GDPR, you can reach us at privacy@linuxfoundation.org.

Health & Safety

What health measures and safety protocols is seL4 taking to ensure a safe in-person event?

Our attendees’ health and safety are our top priority as we continue to monitor COVID-19 and look to the venue, local, state, and WHO guidelines to make final decisions around onsite safety and requirements.

Information on current guidelines and health & safety measures can be found on our Health & Safety page.

Will attendance be limited?

Attendance may be limited to ensure any locally mandated social distancing and capacity limits are met. It is recommended that you secure your registration as early as possible if you would like to attend the event.

Will I be required to wear a mask?

Information on current onsite guidelines and health & safety measures can be found on our Health & Safety page.

Sponsor

I have questions regarding sponsorships. Who should I contact?

For information regarding event sponsorship, please email summit@sel4.systems.

Diversity & Inclusion

Will there be a nursing room or childcare at the conference?

Unfortunately, at this time, we will not be able to provide a nursing room or childcare at this conference.

What is the policy on animals at the event?

Service animals are permitted.

Venue & Travel

How do I get to the conference?

For information about travel to the event, visit the Venue & Travel page.

Is a hotel reservation included in my registration?

No. Visit the Venue & Travel page for more information about how to make a hotel reservation.

How do I book my hotel?

Information on venue, lodging, and transportation can be found on the Venue & Travel page.

Is parking available? How much and do you validate?

Visit the Venue & Travel page for more details on parking.

What are the discounted room rates for attendees? Is there a deadline to make a reservation?

For information about hotel options, rates, and booking deadlines, visit the Venue & Travel page.