The seL4 summit 2023 will start in 2 weeks in Minneapolis!
There is still time to register if you haven’t done it yet.
Summit: https://sel4.systems/Foundation/Summit/2023/ Register: https://events.linuxfoundation.org/sel4-summit/register/ Program: https://sel4summit2023.sched.com/
See you there!