[Summit] Inquiry: SEL4 summit, September 3 - September 5, Prague

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