Call For Presentations for the seL4 Summit 2024
- 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 22 April 2024 to the submission portal.
Also note the open invitation for a 5-minute slot to talk about your seL4 deployment.