seL4 summit logo

seL4 Summit 2023

Minneapolis, USA

Sept/Oct 2023, dates TBC

Important Dates:

  • Abstracts due: 10 April 2023
  • Notification of decisions: 2 June 2023
  • Summit: September/October 2023 (TBD)

Further information on the Call for Presentations.