14 Apr
2025
14 Apr
'25
7:27 p.m.
Dear Birgit,
Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Reception and dinner
Register here [1]
Thanks for the info! A quick question for clarification: What is the difference between the Professional and the Hobbyist registration type? (Sorry if this is obvious to someone, but I'm unable to find an explicit explanation anywhere.) Best regarda Martin Decky