On 14 Jun 2023, at 13:53, Birgit Brecknell <birgit.brecknell@unsw.edu.au> wrote:
I've swapped Ivan's talk with the one from Galois.
---Dr. Birgit BrecknellProject OfficerTrustworthy Systems, UNSW, birgit.brecknell@unsw.edu.auseL4 Foundation, birgit@sel4.systems0433 880 571
Mon 9am-5pmWed 2pm-5pmFri 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 commentHappy to swap them, yes, it would make sense. Birg: can you please update the program?
ThanksJune
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.
cheersBirg
---Dr. Birgit BrecknellProject OfficerTrustworthy Systems, UNSW, birgit.brecknell@unsw.edu.auseL4 Foundation, birgit@sel4.systems0433 880 571
Mon 9am-5pmWed 9am-12pmFri 9am-5pm
<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
Summit-pc mailing list -- summit-pc@sel4.systems
To unsubscribe send an email to summit-pc-leave@sel4.systems