On 9 Jun 2023, at 10:25, Birgit Brecknell <birgit.brecknell@unsw.edu.au> wrote:

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

_______________________________________________
Summit-pc mailing list -- summit-pc@sel4.systems
To unsubscribe send an email to summit-pc-leave@sel4.systems