Happy to swap them, yes, it would make sense. Birg: can you please update the program? Thanks June
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 <mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit@sel4.systems <mailto:birgit@sel4.systems> 0433 880 571
Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm
_______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems <mailto:summit-pc@sel4.systems> To unsubscribe send an email to summit-pc-leave@sel4.systems <mailto: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