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.