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 2022 will be in Munich, Germany, on 10-12 October 2022.
Share your seL4 work
Share your seL4 experience
Share your seL4 thoughts
Share your seL4 questions
We solicit proposals on any seL4-related topic, in particular in the areas of:
If you would like to propose a talk (or nominate someone else to be invited to do so), please send an abstract of one page or less for your proposed talk (or a one paragraph description of your nominee’s proposed talk) by Monday 9th of May 2022 to email@example.com. Abstracts and nomination paragraphs should indicate why the talk fits in the seL4 summit scope. Notifications of accepted presentations will be made by Monday 30th May 2022. If you would like to propose a talk to be delivered remotely, please notify it in the submission.
If you have questions, please do not hesitate to contact the seL4 Foundation summit team at: firstname.lastname@example.org.