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?u... 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