Dates and venue confirmed for the seL4 summit 2023

The seL4 Summit 2023 will be held 19 - 21 September 2023 at the Elliot Park Hotel, Minneapolis, USA.

The summit will be hosted by the Linux Foundation, and will be an in-person event.

Registration details to follow soon!

Remember that you have until 24 April 2022 to propose a talk. To propose a talk, upload an abstract of one page or less to the submission portal.