seL4 Summit


seL4 Summit RATES

The registration deadline is 11:59 PM Australian Eastern Time on the respective date.


Early BirdMar 26–Sep 15, 2024
530 USD
LateSep 16–Oct 17, 2024
630 USD


Early BirdMar 26–Sep 15, 2024
630 USD
LateSep 16–Oct 17, 2024
750 USD


Early BirdMar 26–Sep 15, 2024
120 USD
LateSep 16–Oct 17, 2024
120 USD


Early BirdMar 26–Sep 15, 2024
230 USD
LateSep 16–Oct 17, 2024
230 USD

*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

seL4 Foundation members are eligible for discounted ticket prices.

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

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

You should have received a registration link in your acceptance email. If you did not, please contact for more details.

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

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 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 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 herePlease Note: We verify attendance through the registration system, and Certificate of Attendance letters are sent out after the event is completed.

Refund Policy

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

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

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

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.