seL4 Summit Rates
The registration deadline is 11:59 PM Pacific Time on the respective date.
Professional – Member
Early BirdFeb 19–Jul 31, 2026
StandardAug 1–Sep 3, 2026
Professional – Non-Member
Early BirdFeb 19–Jul 31, 2026
StandardAug 1–Sep 3, 2026
Hobbyist
Early BirdFeb 19–Jul 31, 2026
StandardAug 1–Sep 3, 2026
Student*
Early BirdFeb 19–Jul 31, 2026
StandardAug 1–Sep 3, 2026
*Must provide proof of academic ID
Registration Types
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.
Professional – Member:
The seL4 Foundation Member companies can be found here.
Student:
Student registrations are for current full-time students. Full-time students will need to upload a valid copy of their Faculty or Student ID when registering. If you have any questions, please email summit@sel4.systems.
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.
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.
Additional Information
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 a request. Please include any additional customization you need for your invoice receipt in the request.
Certificates of Attendance:
You can download your Certificate of Attendance directly from your LFX dashboard by navigating to the “Past Events” section in the LF Events column. Please Note: We verify attendance through the registration system, and certificates will only be available for download 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.” Refunds will only be issued for cancellations received two weeks prior to the main event start date (including bulk ticket invoice requests, co-located events, and add-ons), and will appear as a credit on the card’s statement 7 – 10 business days after cancellation. Refunds can only be issued on the card the original payment was made.
Please note that all refunds are subject to a 6% processing fee.
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” button, and select “Transfer Registration” on your confirmation page. If you need further assistance, email registration@linuxfoundation.org.