Two weeks to go to submit a talk for the seL4 Summit 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 21 April 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 details to follow soon.
We’re looking forward to many exciting proposals!
