https://sel4summit2024.sched.com/type/Registration
I'm excited to attend seL4 Summit 2024 https://sel4summit2024.sched.com/type/Registration @sched