Thanks for your email. Apple has already used its three free registrations, which it gets as a summit sponsor. If you would like to register, please register as a member on https://events.linuxfoundation.org/sel4-summit/register/, as Apple is a member of the seL4 Foundation.

On Mon, 1 Sept 2025 at 13:10, Asha Karvaje <akarvaje@apple.com> wrote:

Hello seL4 conference committee,

I am inquiring about conference registration for the upcoming summit in Prague. Could you please help to provide the sponsorship contact for Apple for this conference? We have few members from Apple that would like to participate and register in this conference. As suggested on the conference website, we would like to use the registration link that was shared with Apple’s sponsorship contact.

Thank you!

Regards,
Asha

_______________________________________________
Summit mailing list -- summit@sel4.systems
To unsubscribe send an email to summit-leave@sel4.systems