Summit-pc

Download

summit-pc@sel4.systems

September 2023

1 participants
2 discussions

seL4 summit: your allocation as session chair (PLEASE CHECK)
by June Andronick (seL4 Foundation) 06 Sep '23

06 Sep '23

Dear PC, Please find attached an allocation of session chairs for the summit. Please let us know asap if you have any issues with your allocated slot. If we don’t hear from you by Monday 11th, we’ll assume it’s all good :) Thanks and see you all in Minneapolis very soon! June, on behalf of Ihor and Darren

1 0

seL4 summit in 2 weeks: please post about it! :)
by June Andronick (seL4 Foundation) 06 Sep '23

06 Sep '23

Dear PC of the upcoming seL4 summit, The summit is in 2 weeks! We’ll contact you very soon about chairing some sessions. For now, can you please encourage any last minute registrations through your networks? I’ve just posted on linkedin: https://www.linkedin.com/posts/sel4_sel4-activity-7104829051214671872-lqzj?… From the last report I got, we have 55 registrants. We had a number of last minute ones last year, it would be good to do the same this year to increase attendance and create a buzz again :) I’m counting on you! Thanks, June

1 0