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.