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).
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.
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
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 MayMore 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 timeFri 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 BrecknellProject OfficerTrustworthy Systems, UNSW, birgit.brecknell@unsw.edu.auseL4 Foundation, birgit@sel4.systems0433 880 571
Mon 9am-5pmWed 9am-12pmFri 9am-5pm
Summit-pc mailing list -- summit-pc@sel4.systems
To unsubscribe send an email to summit-pc-leave@sel4.systems