Two weeks to go to submit a talk for seL4 summit 2024!
If you’d like to submit a talk, please upload an abstract of one page or less to the submission portal.
The seL4 Summit 2024 will be held 15-17 October 2024 at the Holiday Inn Potts Point, Sydney, Australia. The summit will be an in-person event. Registration details to follow soon.
We’re looking forward to many exciting proposals!