Dear PC

Please find attached the draft program for the seL4 summit 2023. We plan to announce the program on 16 Jun. Please send any feedback/comments by 15 Jun.

cheers
Birg

---

Dr. Birgit Brecknell

Project Officer

Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.au

seL4 Foundation, birgit@sel4.systems

0433 880 571

 

Mon 9am-5pm

Wed 9am-12pm

Fri 9am-5pm