seL4 summit PC: time slot for reviews meeting
Dear PC It's almost reviewing time! As previously said, the review process will be light weight. The aim is to put together an interesting program that we want to listen to, or that we think others in the community would like to listen to. In short, your job will be to Review 5-10 short abstracts over 2-3 weeks (<3h of work) The review period will be 26 April - 17 May More details to follow re the actual reviewing process. Join a meeting to discuss reviews, finalise acceptance, discuss keynotes (2h) Finding a meeting time that works across the timezones is difficult. We have two dates and ranges available for the 2-hour meeting: Wed 17 May, 7am-11am Syd time Fri 19 May, 7am-11am Syd time Can you please go to http://whenisgood.net/x9j33f5 to let us know which dates/2-hr blocks suit you? If none suit, please say "none" in the comments box. We'll ask people who can't make it to send their reviews and suggestions via email. Many thanks for your work on this, it is very much appreciated. 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
Dear PC If you haven't done so already, please indicate when you'd be available for the summit reviews meeting. The new survey now includes an additional day (Wed 24 May). Please respond on https://whenisgood.net/x9j33f5 by Mon 24 Apr. There's no need to fill in the survey again if you've already done so, unless you want to add your availability for 24 May. 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 ________________________________ From: Birgit Brecknell <birgit.brecknell@unsw.edu.au> Sent: Friday, 14 April 2023 11:18 AM To: summit-pc@sel4.systems <summit-pc@sel4.systems> Cc: birgit@sel4.systems <birgit@sel4.systems> Subject: seL4 summit PC: time slot for reviews meeting Dear PC It's almost reviewing time! As previously said, the review process will be light weight. The aim is to put together an interesting program that we want to listen to, or that we think others in the community would like to listen to. In short, your job will be to Review 5-10 short abstracts over 2-3 weeks (<3h of work) The review period will be 26 April - 17 May More details to follow re the actual reviewing process. Join a meeting to discuss reviews, finalise acceptance, discuss keynotes (2h) Finding a meeting time that works across the timezones is difficult. We have two dates and ranges available for the 2-hour meeting: Wed 17 May, 7am-11am Syd time Fri 19 May, 7am-11am Syd time Can you please go to http://whenisgood.net/x9j33f5 to let us know which dates/2-hr blocks suit you? If none suit, please say "none" in the comments box. We'll ask people who can't make it to send their reviews and suggestions via email. Many thanks for your work on this, it is very much appreciated. 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
the 8am AEST slot on the 17th collides with the developer hangout Gernot On 19 Apr 2023, at 11:58, Birgit Brecknell <birgit.brecknell@unsw.edu.au> wrote: Dear PC If you haven't done so already, please indicate when you'd be available for the summit reviews meeting. The new survey now includes an additional day (Wed 24 May). Please respond on https://whenisgood.net/x9j33f5 by Mon 24 Apr. There's no need to fill in the survey again if you've already done so, unless you want to add your availability for 24 May. 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 ________________________________ From: Birgit Brecknell <birgit.brecknell@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>> Sent: Friday, 14 April 2023 11:18 AM To: summit-pc@sel4.systems<mailto:summit-pc@sel4.systems> <summit-pc@sel4.systems<mailto:summit-pc@sel4.systems>> Cc: birgit@sel4.systems<mailto:birgit@sel4.systems> <birgit@sel4.systems<mailto:birgit@sel4.systems>> Subject: seL4 summit PC: time slot for reviews meeting Dear PC It's almost reviewing time! As previously said, the review process will be light weight. The aim is to put together an interesting program that we want to listen to, or that we think others in the community would like to listen to. In short, your job will be to Review 5-10 short abstracts over 2-3 weeks (<3h of work) The review period will be 26 April - 17 May More details to follow re the actual reviewing process. Join a meeting to discuss reviews, finalise acceptance, discuss keynotes (2h) Finding a meeting time that works across the timezones is difficult. We have two dates and ranges available for the 2-hour meeting: Wed 17 May, 7am-11am Syd time Fri 19 May, 7am-11am Syd time Can you please go to http://whenisgood.net/x9j33f5 to let us know which dates/2-hr blocks suit you? If none suit, please say "none" in the comments box. We'll ask people who can't make it to send their reviews and suggestions via email. Many thanks for your work on this, it is very much appreciated. 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>
Hi everyone Thanks for your responses. Fri 19 May, 9-11am Syd time works for most people. I'll shortly send out an invite with a zoom link. For those who cannot make it, please send your reviews, and we'll include them in the discussion. Reviewing instructions to follow next week. ? 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 ________________________________ From: Birgit Brecknell <birgit.brecknell@unsw.edu.au> Sent: Wednesday, 19 April 2023 11:58 AM To: summit-pc@sel4.systems <summit-pc@sel4.systems> Subject: [Summit-pc] Re: seL4 summit PC: time slot for reviews meeting Dear PC If you haven't done so already, please indicate when you'd be available for the summit reviews meeting. The new survey now includes an additional day (Wed 24 May). Please respond on https://whenisgood.net/x9j33f5 by Mon 24 Apr. There's no need to fill in the survey again if you've already done so, unless you want to add your availability for 24 May. 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 ________________________________ From: Birgit Brecknell <birgit.brecknell@unsw.edu.au> Sent: Friday, 14 April 2023 11:18 AM To: summit-pc@sel4.systems <summit-pc@sel4.systems> Cc: birgit@sel4.systems <birgit@sel4.systems> Subject: seL4 summit PC: time slot for reviews meeting Dear PC It's almost reviewing time! As previously said, the review process will be light weight. The aim is to put together an interesting program that we want to listen to, or that we think others in the community would like to listen to. In short, your job will be to Review 5-10 short abstracts over 2-3 weeks (<3h of work) The review period will be 26 April - 17 May More details to follow re the actual reviewing process. Join a meeting to discuss reviews, finalise acceptance, discuss keynotes (2h) Finding a meeting time that works across the timezones is difficult. We have two dates and ranges available for the 2-hour meeting: Wed 17 May, 7am-11am Syd time Fri 19 May, 7am-11am Syd time Can you please go to http://whenisgood.net/x9j33f5 to let us know which dates/2-hr blocks suit you? If none suit, please say "none" in the comments box. We'll ask people who can't make it to send their reviews and suggestions via email. Many thanks for your work on this, it is very much appreciated. 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
participants (2)
-
Birgit Brecknell -
Gernot Heiser