seL4 Summit 2023

Important Dates:

• Abstracts due: 10 April 2023 24 April 2023
• Notification of decisions: 2 June 2023 9 June 2023
• Summit: 19-21 September 2023 (date TBD)

Further information on the Call for Presentations.

Summit submissions are now closed. Please contact summit@sel4.systems if you have any questions.