The deadline to submit a talk for the seL4 Summit 2025 has been extended until 2 May 2025.
If you’d like to submit a talk, please upload an abstract of one page or less to the submission portal.
Abstracts are due on 2 May 2025.
Also note the open invitation for a 5-minute slot to talk about your seL4 deployment.
The seL4 Summit 2025 will be held 3 - 5 September 2025 at the Grandior Hotel Prague, Prague, Czech Republic. The summit will be an in-person event. Registration and location details are available here.
