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
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
