Dear PC members of the seL4 summit 2023, Thanks again for serving in last summit’s PC. So now is time to work on the summit’24 :) As you might have seen, the location has now been decided: it will be in Sydney. We are now starting looking at forming the new PC. As last years, we will aim to have a good balance in expertise and experience, and between continuity and fresh blood. Can you please all reply to me (CCing Birg) by Dec 11th telling me: (a) whether you have some people you would like to suggest to add/keep in the PC, noting that some diversity in all dimensions would be great, as much as feasible. Previous PC members can be found on https://sel4.systems/Foundation/Summit/ (b) telling me whether you would be happy to be considered again for the 2024 PC, or would prefer to step aside for this time. From there we will aim for a good balance :) 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 years :) Any questions let me know. Many thanks! June [0] Timeline: https://docs.google.com/spreadsheets/d/1vZTQv30_mqD7jQcWXNZqwcW_hOfDKUnIkBUz... [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]): - 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
Dear all, Please send me your reply by the end of coming Monday, the 11th (so far I haven’t received any ;)) Thanks June
On 4 Dec 2023, at 10:26, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear PC members of the seL4 summit 2023,
Thanks again for serving in last summit’s PC. So now is time to work on the summit’24 :)
As you might have seen, the location has now been decided: it will be in Sydney. We are now starting looking at forming the new PC. As last years, we will aim to have a good balance in expertise and experience, and between continuity and fresh blood.
Can you please all reply to me (CCing Birg) by Dec 11th telling me:
(a) whether you have some people you would like to suggest to add/keep in the PC, noting that some diversity in all dimensions would be great, as much as feasible. Previous PC members can be found on https://sel4.systems/Foundation/Summit/
(b) telling me whether you would be happy to be considered again for the 2024 PC, or would prefer to step aside for this time.
From there we will aim for a good balance :)
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 years :)
Any questions let me know.
Many thanks! June
[0] Timeline: https://docs.google.com/spreadsheets/d/1vZTQv30_mqD7jQcWXNZqwcW_hOfDKUnIkBUz...
[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]): - 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 June – I am happy to serve on the PC, but could also be replaced by Isaac Amundson or David Hardin. As far as new folks, we could reach out to the KSU team – John Hatcliff, Robby, or Jason Belt. Darren From: June Andronick (seL4 Foundation) <june@sel4.systems> Sent: Friday, December 8, 2023 10:34 AM To: sel4 summit PC <summit-pc@sel4.systems> Cc: Birgit Brecknell <birgit@sel4.systems> Subject: [External] [Summit-pc] Re: (seL4 summit): 2024 PC Dear all, Please send me your reply by the end of coming Monday, the 11th (so far I haven’t received any ;)) Thanks June On 4 Dec 2023, at 10:26, June Andronick (seL4 Foundation) <june@sel4.systems<mailto:june@sel4.systems>> wrote: Dear PC members of the seL4 summit 2023, Thanks again for serving in last summit’s PC. So now is time to work on the summit’24 :) As you might have seen, the location has now been decided: it will be in Sydney. We are now starting looking at forming the new PC. As last years, we will aim to have a good balance in expertise and experience, and between continuity and fresh blood. Can you please all reply to me (CCing Birg) by Dec 11th telling me: (a) whether you have some people you would like to suggest to add/keep in the PC, noting that some diversity in all dimensions would be great, as much as feasible. Previous PC members can be found on https://sel4.systems/Foundation/Summit/<https://urldefense.com/v3/__https:/sel4.systems/Foundation/Summit/__;!!MvWE!DtLgtOGcZ9zFk0CcItl7aiB6aZRkc_N1nO-ZtTniERoWHRl0Owhj21eZvRN2rL4TGTUuzKnhYVrodQTRj_s$> (b) telling me whether you would be happy to be considered again for the 2024 PC, or would prefer to step aside for this time. From there we will aim for a good balance :) 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 years :) Any questions let me know. Many thanks! June [0] Timeline: https://docs.google.com/spreadsheets/d/1vZTQv30_mqD7jQcWXNZqwcW_hOfDKUnIkBUzpshJARQ/edit?usp=sharing<https://urldefense.com/v3/__https:/docs.google.com/spreadsheets/d/1vZTQv30_mqD7jQcWXNZqwcW_hOfDKUnIkBUzpshJARQ/edit?usp=sharing__;!!MvWE!DtLgtOGcZ9zFk0CcItl7aiB6aZRkc_N1nO-ZtTniERoWHRl0Owhj21eZvRN2rL4TGTUuzKnhYVro7Fo36Qc$> [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]): - 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 2024! Thanks again for all your suggestions. In coordination with the PC chairs, we have selected the following PC, aiming for a good balance in expertise and experience over the whole PC: Nick Spinale (Colias Group) - chair Ihor Kuz (Kry10) - chair Matt Brecknell (Kry10) Everton Dematos (TII) Alison Felizzy (Kry10) David Hardin (Collins) John Hatcliff (KSU) Gernot Heiser (UNSW) Lucy Parker (UNSW) Michal Podhradsky (Galois) Robbie Vanvossen (DornerWorks) Indan Zupancic Adam (NCSC) We would like to thank Darren, Perry, Todd, Axel, and Martin for their contributions to last year's summit, and look forward to have you on board again in the future. 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! June, on behalf of Ihor and Nick
On 4 Dec 2023, at 10:26, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear PC members of the seL4 summit 2023,
Thanks again for serving in last summit’s PC. So now is time to work on the summit’24 :)
As you might have seen, the location has now been decided: it will be in Sydney. We are now starting looking at forming the new PC. As last years, we will aim to have a good balance in expertise and experience, and between continuity and fresh blood.
Can you please all reply to me (CCing Birg) by Dec 11th telling me:
(a) whether you have some people you would like to suggest to add/keep in the PC, noting that some diversity in all dimensions would be great, as much as feasible. Previous PC members can be found on https://sel4.systems/Foundation/Summit/
(b) telling me whether you would be happy to be considered again for the 2024 PC, or would prefer to step aside for this time.
From there we will aim for a good balance :)
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 years :)
Any questions let me know.
Many thanks! June
[0] Timeline: https://docs.google.com/spreadsheets/d/1vZTQv30_mqD7jQcWXNZqwcW_hOfDKUnIkBUz...
[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]): - 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
Sorry, I forgot to update Lucy Parker (UNSW) to Lucy Parker (Apple) :) June
On 31 Jan 2024, at 18:53, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Hi all,
We have now finalised a PC for the seL4 Summit 2024! Thanks again for all your suggestions. In coordination with the PC chairs, we have selected the following PC, aiming for a good balance in expertise and experience over the whole PC:
Nick Spinale (Colias Group) - chair Ihor Kuz (Kry10) - chair
Matt Brecknell (Kry10) Everton Dematos (TII) Alison Felizzy (Kry10) David Hardin (Collins) John Hatcliff (KSU) Gernot Heiser (UNSW) Lucy Parker (UNSW) Michal Podhradsky (Galois) Robbie Vanvossen (DornerWorks) Indan Zupancic Adam (NCSC)
We would like to thank Darren, Perry, Todd, Axel, and Martin for their contributions to last year's summit, and look forward to have you on board again in the future.
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!
June, on behalf of Ihor and Nick
On 4 Dec 2023, at 10:26, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear PC members of the seL4 summit 2023,
Thanks again for serving in last summit’s PC. So now is time to work on the summit’24 :)
As you might have seen, the location has now been decided: it will be in Sydney. We are now starting looking at forming the new PC. As last years, we will aim to have a good balance in expertise and experience, and between continuity and fresh blood.
Can you please all reply to me (CCing Birg) by Dec 11th telling me:
(a) whether you have some people you would like to suggest to add/keep in the PC, noting that some diversity in all dimensions would be great, as much as feasible. Previous PC members can be found on https://sel4.systems/Foundation/Summit/
(b) telling me whether you would be happy to be considered again for the 2024 PC, or would prefer to step aside for this time.
From there we will aim for a good balance :)
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 years :)
Any questions let me know.
Many thanks! June
[0] Timeline: https://docs.google.com/spreadsheets/d/1vZTQv30_mqD7jQcWXNZqwcW_hOfDKUnIkBUz...
[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]): - 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
Is Lucy still allowed to do this? Anna wasn’t… Gernot On 1 Feb 2024, at 05:25, June Andronick (seL4 Foundation) <june@sel4.systems> wrote: Sorry, I forgot to update Lucy Parker (UNSW) to Lucy Parker (Apple) :) June On 31 Jan 2024, at 18:53, June Andronick (seL4 Foundation) <june@sel4.systems> wrote: Hi all, We have now finalised a PC for the seL4 Summit 2024! Thanks again for all your suggestions. In coordination with the PC chairs, we have selected the following PC, aiming for a good balance in expertise and experience over the whole PC: Nick Spinale (Colias Group) - chair Ihor Kuz (Kry10) - chair Matt Brecknell (Kry10) Everton Dematos (TII) Alison Felizzy (Kry10) David Hardin (Collins) John Hatcliff (KSU) Gernot Heiser (UNSW) Lucy Parker (UNSW) Michal Podhradsky (Galois) Robbie Vanvossen (DornerWorks) Indan Zupancic Adam (NCSC) We would like to thank Darren, Perry, Todd, Axel, and Martin for their contributions to last year's summit, and look forward to have you on board again in the future. 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! June, on behalf of Ihor and Nick On 4 Dec 2023, at 10:26, June Andronick (seL4 Foundation) <june@sel4.systems> wrote: Dear PC members of the seL4 summit 2023, Thanks again for serving in last summit’s PC. So now is time to work on the summit’24 :) As you might have seen, the location has now been decided: it will be in Sydney. We are now starting looking at forming the new PC. As last years, we will aim to have a good balance in expertise and experience, and between continuity and fresh blood. Can you please all reply to me (CCing Birg) by Dec 11th telling me: (a) whether you have some people you would like to suggest to add/keep in the PC, noting that some diversity in all dimensions would be great, as much as feasible. Previous PC members can be found on https://sel4.systems/Foundation/Summit/ (b) telling me whether you would be happy to be considered again for the 2024 PC, or would prefer to step aside for this time. From there we will aim for a good balance :) 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 years :) Any questions let me know. Many thanks! June [0] Timeline: https://docs.google.com/spreadsheets/d/1vZTQv30_mqD7jQcWXNZqwcW_hOfDKUnIkBUz... [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]): - 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 _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
participants (3)
-
Cofer, Darren D Collins -
Gernot Heiser -
June Andronick (seL4 Foundation)