seL4 Summit


seL4 Summit RATES


Early BirdApr 27–Aug 18, 2023
$500 USD
LateAug 19–Sep 19, 2023
$600 USD


Early BirdApr 27–Aug 18, 2023
$600 USD
LateAug 19–Sep 19, 2023
$715 USD


Early BirdApr 27–Aug 18, 2023
$110 USD
LateAug 19–Sep 19, 2023
$110 USD


Early BirdApr 27–Aug 18, 2023
$220 USD
LateAug 19–Sep 19, 2023
$220 USD

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.

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

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. 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.

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.