seL4 summit: early bird rate ends on 12 Sep 2022

seL4 Summit 2022: A friendly reminder that there are only a few days left to book a summit ticket at the early bird rate
The early bird rate ends on 12 Sep 2022.

seL4 Summit 2022

This hybrid event will be held in Munich, Germany, 10-13 October 2022.

The seL4 summit will cover the complete seL4 ecosystem, consisting of the verified microkernel, as well as all seL4-related technology, tools, infrastructure, products, projects, and people.

Tickets include:

  • Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions
  • A one-day bootcamp with workshops and trainings
  • Networking with other seL4 experts and enthusiasts
  • Participation in the mentoring program (for students and junior engineers)

For more information, please visit Summit | seL4