seL4 summit'23: 2 questions for you (by 26 Jan)
Dear PC members of the seL4 summit 2022, Thanks again for serving in last summit’s PC. Now is time to work on the summit’23 :) starting with forming the PC. Firstly, I’m very glad to announce that Ihor has accepted to be the new “junior” co-chair for this year and Darren accepted to stay on board for another year as the “senior” co-chair. Many thanks to both of them. Now can you please all reply to me (CCing Birg): (a) telling me whether you would be happy to be on the PC for 2023 or not, and (b) suggesting 1 name for a new PC member we might want to consider (with a few words why if it’s not obvious). Some diversity in all dimensions would be great, as much as feasible. Current PC can be found on https://sel4.systems/Foundation/Summit/home.pml From there we will aim for a mix of "old and new blood” :) Please reply by the 26th Jan or earlier. If you need more time let me know. See below for a rough timeline for the PC work [0] and reminder of expected duties and load [1]. It should be as lightweight (and hopefully fun) as last year :) Oh and the vote for the location resulted in Minneapolis, and the dates we’re looking at would hopefully be either the week of Sep 18 or the week of Oct 9 (3 days to be determined in these weeks). Any questions let me know. Many thanks! June [0] https://docs.google.com/spreadsheets/d/1Tz-ITT6O9GIAl5yNm1QDMYg_hKJ0TZD5pL49... [1] The Program Committee is in charge of the technical side of the event (content, invited speakers, program…). The PC process aspires to be quite informal, lightweight and efficient, with the aim of producing the most interesting and engaging event. There will be an open call for presentations; submissions will be short abstracts. The commitment required from the PC should be very light (equivalent to less than 2 full days, spread over a long period) and the PC will receive all the necessary admin support (to track, chase-up, send emails etc) from Birgit (CC-ed) and myself. There is also an informal Steering Committee made of Gernot, Gerwin and myself for any oversight. Duties and rough commitment estimate can be summarised as follows (with a rough timeline in [0]): - Reply to this email and suggest a name for a new PC member (<1h) - Provide feedback/suggestions for themes for CFP (<1h) - Advertise, use own network to attract submissions, nudge specific people to submit (<1h) - Review 5-10 short abstracts over 2-3 weeks (<3h of work) - Meeting to discuss reviews, finalise acceptance, discuss keynotes (2h) - Provide feedback on program (<1h) - Volunteer for session chair - Attend if possible, help with chairing, make it a successful event
Thank you all for your replies and suggestions! We’ve received all your answers and will work on them with the PC Chairs to find the most suitable and balanced PC. We will come back to you once we have an update. Thanks June
On 19 Jan 2023, at 3:35 pm, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear PC members of the seL4 summit 2022,
Thanks again for serving in last summit’s PC. Now is time to work on the summit’23 :) starting with forming the PC.
Firstly, I’m very glad to announce that Ihor has accepted to be the new “junior” co-chair for this year and Darren accepted to stay on board for another year as the “senior” co-chair. Many thanks to both of them.
Now can you please all reply to me (CCing Birg):
(a) telling me whether you would be happy to be on the PC for 2023 or not, and
(b) suggesting 1 name for a new PC member we might want to consider (with a few words why if it’s not obvious). Some diversity in all dimensions would be great, as much as feasible. Current PC can be found on https://sel4.systems/Foundation/Summit/home.pml
From there we will aim for a mix of "old and new blood” :)
Please reply by the 26th Jan or earlier. If you need more time let me know.
See below for a rough timeline for the PC work [0] and reminder of expected duties and load [1]. It should be as lightweight (and hopefully fun) as last year :)
Oh and the vote for the location resulted in Minneapolis, and the dates we’re looking at would hopefully be either the week of Sep 18 or the week of Oct 9 (3 days to be determined in these weeks).
Any questions let me know.
Many thanks! June
[0] https://docs.google.com/spreadsheets/d/1Tz-ITT6O9GIAl5yNm1QDMYg_hKJ0TZD5pL49...
[1]
The Program Committee is in charge of the technical side of the event (content, invited speakers, program…). The PC process aspires to be quite informal, lightweight and efficient, with the aim of producing the most interesting and engaging event. There will be an open call for presentations; submissions will be short abstracts. The commitment required from the PC should be very light (equivalent to less than 2 full days, spread over a long period) and the PC will receive all the necessary admin support (to track, chase-up, send emails etc) from Birgit (CC-ed) and myself. There is also an informal Steering Committee made of Gernot, Gerwin and myself for any oversight.
Duties and rough commitment estimate can be summarised as follows (with a rough timeline in [0]): - Reply to this email and suggest a name for a new PC member (<1h) - Provide feedback/suggestions for themes for CFP (<1h) - Advertise, use own network to attract submissions, nudge specific people to submit (<1h) - Review 5-10 short abstracts over 2-3 weeks (<3h of work) - Meeting to discuss reviews, finalise acceptance, discuss keynotes (2h) - Provide feedback on program (<1h) - Volunteer for session chair - Attend if possible, help with chairing, make it a successful event
Hi all, We have now finalised a PC for the seL4 Summit 2023! Thanks again for all your suggestions. In coordination with the PC chairs, and aiming for a good balance in expertise and experience over the whole PC, it has been decided to invite 4 new members (keeping other suggestions as back-ups). We are happy to report that three invitations have been accepted and we will be welcoming Alison Felizzi (Kry10), Lucy Parker (UNSW) and Martin D2 (NCSC) (we also invited Sam Leffler from Google, who declined). We will also be thanking Kent, Anna and John for their contributions to last year's summit, as they have decided to step aside this year, giving the opportunity to others to contibute. Anna and Kent will keep helping informally as TSC members. An email to the new PC will come out soon, just after an update of the summit-pc@sel4.systems mailing list to the new PC. Thank you all! Birg, June, Darren and Ihor
On 27 Jan 2023, at 3:29 pm, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Thank you all for your replies and suggestions! We’ve received all your answers and will work on them with the PC Chairs to find the most suitable and balanced PC. We will come back to you once we have an update. Thanks June
On 19 Jan 2023, at 3:35 pm, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear PC members of the seL4 summit 2022,
Thanks again for serving in last summit’s PC. Now is time to work on the summit’23 :) starting with forming the PC.
Firstly, I’m very glad to announce that Ihor has accepted to be the new “junior” co-chair for this year and Darren accepted to stay on board for another year as the “senior” co-chair. Many thanks to both of them.
Now can you please all reply to me (CCing Birg):
(a) telling me whether you would be happy to be on the PC for 2023 or not, and
(b) suggesting 1 name for a new PC member we might want to consider (with a few words why if it’s not obvious). Some diversity in all dimensions would be great, as much as feasible. Current PC can be found on https://sel4.systems/Foundation/Summit/home.pml
From there we will aim for a mix of "old and new blood” :)
Please reply by the 26th Jan or earlier. If you need more time let me know.
See below for a rough timeline for the PC work [0] and reminder of expected duties and load [1]. It should be as lightweight (and hopefully fun) as last year :)
Oh and the vote for the location resulted in Minneapolis, and the dates we’re looking at would hopefully be either the week of Sep 18 or the week of Oct 9 (3 days to be determined in these weeks).
Any questions let me know.
Many thanks! June
[0] https://docs.google.com/spreadsheets/d/1Tz-ITT6O9GIAl5yNm1QDMYg_hKJ0TZD5pL49...
[1]
The Program Committee is in charge of the technical side of the event (content, invited speakers, program…). The PC process aspires to be quite informal, lightweight and efficient, with the aim of producing the most interesting and engaging event. There will be an open call for presentations; submissions will be short abstracts. The commitment required from the PC should be very light (equivalent to less than 2 full days, spread over a long period) and the PC will receive all the necessary admin support (to track, chase-up, send emails etc) from Birgit (CC-ed) and myself. There is also an informal Steering Committee made of Gernot, Gerwin and myself for any oversight.
Duties and rough commitment estimate can be summarised as follows (with a rough timeline in [0]): - Reply to this email and suggest a name for a new PC member (<1h) - Provide feedback/suggestions for themes for CFP (<1h) - Advertise, use own network to attract submissions, nudge specific people to submit (<1h) - Review 5-10 short abstracts over 2-3 weeks (<3h of work) - Meeting to discuss reviews, finalise acceptance, discuss keynotes (2h) - Provide feedback on program (<1h) - Volunteer for session chair - Attend if possible, help with chairing, make it a successful event
participants (1)
-
June Andronick (seL4 Foundation)