Hi Asha 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. Kind regards Birgit Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com> On Mon, 1 Sept 2025 at 13:10, Asha Karvaje <akarvaje@apple.com <mailto: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