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 2023 and when will it take place?
seL4 Summit is an in-person event that will take place from September 19-21, 2023.
What time zone will the event be in?
The seL4 Summit will be held in Central Daylight Time (CDT), UTC -5.
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 event?
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 summit@sel4.systems 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 summit@sel4.systems with the event name you are interested in attending and request to be invoiced for registration.
Are there scholarships available?
Unfortunately, we are not able to offer scholarships for this event at this time.
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.
What happens if I need to cancel due to COVID?
During the ongoing COVID pandemic, refunds will be issued up until the start date of the event and all processing fees will be waived.
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 at the summit?
Yes. For location information, please check with registration or information desk staff onsite. If you need a refrigerator, please email summit@sel4.systems prior to the summit to make arrangements.
Will child care be provided?
Unfortunately, we cannot offer child care services at this event. We can, however, provide a list of local childcare providers. We apologize for this disruption to our normal event plans. We will be making this service available as soon as we can for future events.
What is the policy on animals at the event?
Service animals are permitted.
Venue & Travel
What meals are provided with my summit registration?
Morning and afternoon breaks and lunch are included with registration and will be available on the days of the event.
How do I get to the event?
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.
