April 2022 - Summit-pc - lists.sel4.systems

seL4 Summit Panels
by Robert VanVossen 06 May '22

06 May '22

All, Any thoughts on conducting panels at the seL4 Summit? I was thinking about writing an abstract for a presentation on DornerWorks' experience with mainlining. Focusing on the good pieces, the challenges (which come from our customers, our limited funds, our process, from github, and from the foundation processes), and some thoughts on how to improve. My colleagues thought it could be better as a panel so that we could get perspectives from others in the community, as well as the foundation. I wholly agree with them. So I was wondering if others thought a panel or two would be a good idea. If so, should it still be submitted as an abstract? Thanks, Robbie VanVossen

5 6

(seL4 summit) please select times for PC meeting
by June Andronick (seL4 Foundation) 29 Apr '22

29 Apr '22

Dear PC, Can you please select times you would be available for the PC discussion? We’re aiming for 2 hours. You can select your time zone. Apologies for the inconvenient times for some, scheduling a meeting across Australia, US and Europe at this time of the year is challenging. http://whenisgood.net/zf5fhmy <http://whenisgood.net/zf5fhmy> Thanks! June

1 0

(seL4 summit) Venue & date confirmed: Munich, 10-12 Oct
by June Andronick (seL4 Foundation) 29 Apr '22

29 Apr '22

Dear PC, The venue and dates for the seL4 summit are now confirmed! It will be in Munich (hybrid), 10-12 Oct 2022, hosted by Foundation member Hensoldt Cyber. This has just been announced (website, mailing list, discourse, social media). https://sel4.systems/news/2022 https://www.linkedin.com/feed/update/urn:li:activity:6925695017474801665 The deadline for submissions is rapidly approaching (9th of May). I didn’t manage to send a proper CFP#2 as per the initial schedule [0] (as I caught covid and it knocked me out for almost 2 weeks and I’m still trying to catchup on the backlog) so I aim to send a reminder on Monday with a “1 week left” message. **Please help me spread the message and don’t hesitate to directly nudge people you’d like to hear at the summit :) ** Note that, if you get the question, I have added a note that if people want to submit a talk to be delivered remotely, they can; they should just notify it in their submission. When we discuss all submissions, we’ll check on the balance between in-person and remote talk to make sure the experience is still nice at the event. I’ll send a separate message regarding scheduling our next meeting to discuss the submissions after the reviewing period. Cheers June [0] https://docs.google.com/spreadsheets/d/1aVK9WoaElkNTL5pXJj-9qJ3GgXkmLV4qwwM…

1 0