seL4 summit 2023: draft program for comment
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
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>
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
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
sorry for coming late here: I suggest also swapping Lucy’s with mine, fits better with my agenda 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 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
sorry for coming late here: I suggest also swapping Lucy’s with mine, that way I can build on what she presents. Gernot 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 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
Alrighty, I'll swap them in the schedule. --- 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: Gernot Heiser <gernot@unsw.edu.au> Sent: Saturday, 17 June 2023 2:52 AM To: Birgit Brecknell <birgit.brecknell@unsw.edu.au> Cc: June Andronick <june.andronick@gmail.com>; sel4 summit PC <summit-pc@sel4.systems> Subject: Re: [Summit-pc] seL4 summit 2023: draft program for comment sorry for coming late here: I suggest also swapping Lucy’s with mine, that way I can build on what she presents. Gernot 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 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
participants (3)
-
Birgit Brecknell -
Gernot Heiser -
June Andronick (Gmail)