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