1 week 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
Check out our exciting line-up of speakers: https://sel4summit2023.sched.com/
Registrations: https://events.linuxfoundation.org/sel4-summit/register/ Please note that the hotel block ends on 27 Aug 2023
seL4 summit 2023: https://sel4.systems/Foundation/Summit/2023/
---
Dr. Birgit Brecknell
Project Officer
Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au
seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems
0433 880 571
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm