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