Dear PC for the seL4 summit 2023, The Call for Presentations is out! [0] [1] We now count on all of you to circulate it in your own circles and encourage people to submit :) Remember, the aim is to assemble the program that we would really be keen to hear about (or that we think the community should know and hear about). So don’t hesitate to nudge specific people you’re keen to hear from and encourage them to submit. You can also let us know if you’d prefer that we contact them. Also note that we have slightly updated the technical planning, shifting it to take the delay into account: https://docs.google.com/spreadsheets/d/1Tz-ITT6O9GIAl5yNm1QDMYg_hKJ0TZD5pL49... Let us know if you have any questions, and thanks! June, Birg, Darren, Ihor [0] https://sel4.systems/Foundation/Summit/2023/cfp [1] https://www.linkedin.com/feed/update/urn:li:ugcPost:7033324568924618753/