Register

Quick Note:
We never sell attendee lists or contact information, nor do we authorize others to do so. If you receive an email claiming to sell an attendee list for a Linux Foundation event, please forward it to summit@sel4.systems. 

Members:
seL4 Foundation members are eligible for discounted ticket prices.

Student:
Full-time university/college students who are not full-time employees.

Hobbyist:
Eligible for seL4 enthusiasts who finance their participation on their own.

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

Sponsors:
A registration link was shared in an email to your company’s sponsorship contact. Please reach out to your company’s sponsorship contact if you need to register as a Sponsor. For further questions, please email summit@sel4.systems.

Media:
If you are a member of the media interested in attending this event and have not received a complimentary access code to attend, please contact summit@sel4.systems and a member of our PR team will be in touch.

Invoices & Certificates of Attendance

Registration Invoices:
Invoice receipts are downloadable from the confirmation email you received after registering under the Payment Receipt Information section. If the downloadable invoice receipt does not meet your needs or you need to have your confirmation email resent, please submit your request here. Please include any additional customization you need for your invoice receipt in the request.

Certificates of Attendance:
To request a Certificate of Attendance, please submit a request here. Please Note: We verify attendance through the registration system, and Certificate of Attendance letters are sent out after the event is completed.

Refund Policy

Cancellations:
If you must cancel for any reason, please sign back into your registration, click the “Register/Modify” button and select “Unregister.” If you need further assistance, email registration@linuxfoundation.org.

Refunds will only be issued for cancellations received two weeks prior to the event start date, including bulk ticket request refunds, and will appear as a credit on the card’s statement 7 – 10 business days after cancellation. Individual refund requests for late cancellations due to sickness or emergency will be considered on a case by case basis – contact us at registration@linuxfoundation.org.

Please note: Refunds can only be issued on the card the original payment was made.

Substitutions:
If you are unable to attend, you may substitute another attendee in lieu of cancellation. To substitute an attendee, sign back into your registration, click the “Register/Modify”, and select “Transfer Registration” on your confirmation page.