2 weeks left to get the early-bird registration at the seL4 summit! A friendly reminder that the early bird cut-off date is 18 August 2023.
Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Reception and Dinner Registrations: https://events.linuxfoundation.org/sel4-summit/register/ seL4 summit 2023: https://sel4.systems/Foundation/Summit/2023/<https://sel4.systems/Foundation/Summit/2023/> --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, [email protected]<mailto:[email protected]> seL4 Foundation, [email protected]<mailto:[email protected]> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
