seL4 summit logo

seL4 Summit 2023

Minneapolis, USA

19-21 September 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.