The seL4 summit aims at gathering the seL4 community to learn, share, and connect:
The seL4 summit covers the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people.
The seL4 summit 2023 will be in Minneapolis, USA.
We solicit proposals on any seL4-related topic, in particular in the areas of:
If you would like to propose a talk, please upload an abstract of one page or less for your proposed talk by 24 April 2023 on the submission portal. Abstracts should indicate why the talk fits in the seL4 summit scope. Notifications of accepted presentations will be made by 2 June 2023.
If you'd love to hear about some specific work from other people in the community, we encourage you to reach out to them to incite them to submit a proposal :-) else you can also let us know at email@example.com.
If you have questions, please do not hesitate to contact the seL4 Foundation summit team at: firstname.lastname@example.org.