I've swapped Ivan's talk with the one from Galois. --- 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 2pm-5pm Fri 9am-5pm ________________________________ From: June Andronick (Gmail) <june.andronick@gmail.com> Sent: Tuesday, 13 June 2023 10:47 AM To: Gernot Heiser <gernot@unsw.edu.au> Cc: Birgit Brecknell <birgit.brecknell@unsw.edu.au>; sel4 summit PC <summit-pc@sel4.systems> Subject: Re: [Summit-pc] seL4 summit 2023: draft program for comment 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