On 9 Jun 2023, at 11:20 am, Gernot Heiser <gernot@unsw.edu.au> wrote:

Great to see we’ve got Sam @Google lined up for a keynote!

Otherwise: wouldn’t it make more sense to have Ivan’s talk before the Galois one?

Gernot

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

<reviews-_program-draft - program draft2 filled.pdf>_______________________________________________
Summit-pc mailing list -- summit-pc@sel4.systems
To unsubscribe send an email to summit-pc-leave@sel4.systems