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
seL4 Foundation, 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
seL4 Foundation, birgit@sel4.systems
0433 880 571

 

Mon 9am-5pm
Wed 9am-12pm
Fri 9am-5pm

_______________________________________________
Summit-pc mailing list -- summit-pc@sel4.systems
To unsubscribe send an email to summit-pc-leave@sel4.systems