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.

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.

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. Due to the ongoing pandemic, individual refund requests due to COVID-19 positive tests will be honored up until the start date of the event, and must be accompanied by a photo of a positive COVID-19 test.

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.