seL4 summit dates (and don't forget to submit a talk!)

1

We are happy to share that the dates for the seL4 summit 2024 are 15-16-17 October 2024.

Don’t forget to submit a talk proposal before 22 April on: submit | seL4

Looking forward to receiving your proposals.

June