The Call for Presentations for the seL4 summit 2022 is out!

We are calling for proposals to present at the seL4 Summit 2022!

Share your seL4 work.
Share your seL4 experience.
Share your seL4 thoughts.
Share your seL4 questions.

Check the full Call For Presentations and topics of interest at: CFP | seL4

To propose a talk, send an abstract of one page or less by Monday 9th of May 2022 to

Please do spread the word and also encourage others to submit a talk if you like their work!