Re: Register for the seL4 summit 2025
14 Apr
2025
14 Apr
'25
7:40 p.m.
Dear all,
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.)
I guess, If you pay out of your own pocket, you are an enthusiast. if it is sponsored by your employer, you are a professional. — Dr.-Eng. V. A. Sartakov
344
Age (days ago)
345
Last active (days ago)
2 comments
3 participants
participants (3)
-
Birgit Brecknell -
Martin Decky -
Vasily A. Sartakov