Call For Presentations for the seL4 Summit 2025
- Share your seL4 work
- Share your seL4 experience
- Share your seL4 thoughts
Check the full Call For Presentations. To propose a talk, upload an abstract of one page or less by 21 April 2025 to the submission portal.
Also note the open invitation for a 5-minute slot to talk about your seL4 deployment.
