- Summit-pc - lists.sel4.systems

seL4 summit - another keynote?
by June Andronick (seL4 Foundation) 30 May '22

30 May '22

Dear PC, At the meeting, we have already agreed to have 2 keynotes (Gernot and Boyd) and to have a session on funding agencies, inviting key actors from various countries to give a short brief on their priorities/vision, followed by a discussion. I would also like to have a “Ask Me Anything” session with the Technical Steering Committee. The question is: do we want another keynote and if so who? Before asking the question, I tried to start drafting a program, and given the room configurations and availabilities, it’s already quite packed on the first 2 days where we have the big room. There should still be some flexibility, depending on whether we get the extra “missing” talk we’re enquiring about, but maybe not much if they all accept. So could you please let me know, within a week or earlier, whether you’d like to champion for a specific person/work to be invited for a keynote? If you’re happy with staying with what we already have, please also say it :) NB: I have updated the timeline/planning to reflect the current priorities. In particular we won’t have a meeting to discuss keynote, but we’ll focus on discussing all the items needed to finalise a program https://docs.google.com/spreadsheets/d/1aVK9WoaElkNTL5pXJj-9qJ3GgXkmLV4qwwM… <https://docs.google.com/spreadsheets/d/1aVK9WoaElkNTL5pXJj-9qJ3GgXkmLV4qwwM…> Thanks all June

1 0

(seL4 summit PC) next steps
by June Andronick (seL4 Foundation) 25 May '22

25 May '22

Dear all, Many thanks for the discussion today. Please find attached the master file we worked on this morning. We had a few action items: - Gernot to ask Nils@ETH for a talk (+Q&A) on their hardware on time protection - June to ask HC about a talk on their general plans/roadmap (+ a teaser for the TRENTOS training) - Darren to organise a talk on CASE wrap-up / lessons learned; + potentially a training on the Briefcase tools - Todd to coordinate with John on a talk on HAMR (+ a potential training if available) - Nick to organise a talk on Rust (intro +“Survey”+ potential survey + discussion) - Kent to investigate a talk from Indan Zupanic on MCS virtualisation / MC - Gernot to ask Phil Maker about a talk on LAOT - June to check about a talk from Nathan on FerrOS (unikernel on Rust) - June to investigate a “Funding panel” (NCSC, DARPA, “German DARPA”…) Let me know if I’ve missed anything and please come back to me with an update **early next week** if possible :) I’ll come back to you shortly regarding invited speakers options, once I’ve worked a bit on a program. I think we can do this via email and won’t need another meeting for that. Many thanks all! It’s a pleasure working with such a team :) June

1 0

seL4 summit program and gender diversity
by Ihor Kuz 25 May '22

25 May '22

Hi, I realised after the summit PC meeting that there is very little gender diversity in the program. Does anyone have ideas for what we can do about that? Ihor.

3 2

(seL4 summit) Reviewing instructions - due May 22nd
by June Andronick (seL4 Foundation) 19 May '22

19 May '22

Dear PC, It’s reviewing time! You should all have received a link to your review file (for people on the HCSS PC, this will look familiar; I found the process to work really well so we reused most of it —with the great help from Birg!). As previously said the review process should be really light weight. The aim is to put together an interesting program that we want to listen to or we think others in the community would like to listen to. You’ve all been assigned 6 of the 20 submissions —except Darren and I that will read them all. Feel free to read more (they are really short) and rate them if you want. The allocation is semi-random, and conflict-of-interest (in the reviews and in the live discussion) will be handled quite openly: declare if you have a conflict, but your opinion/knowledge is still welcome. So your job is: 1- read the abstracts you’ve been assigned (or more if you want). 2- rate them in column E (with A+, A, A-, U = Undecided, R = Reject, S = suggest a repurpose (panel, BoF..)). 3- add comments in column F; this is optional but is really useful for (a) you to remember the reasons of your rating in the discussion meeting :) and (b) if you can’t attend the discussion for any reason, we’ll know more about the reasons of your rating. 4- optionally, please tick the theme(s) you think this abstract fits in. 5- while you review, please start thinking about invited speakers, i.e. if some of these talks could be turned into invited talks, or if the topic makes you think about a good invited talk idea from someone else. We will discuss invited talks soon and it’s a good moment to start thinking about it. 6- if reading the reviews makes you think about some seL4 work that has not been submitted but would be a good addition, please let me know. If we agree, I can follow-up to see if they would be happy to participate. And please do all this before end of next week (by 22nd of May) so we have time to collate all the answers before the "PC meeting” (which you should all have received an invitation for). If you have any questions, please don’t hesitate to ask. Many thanks for your work on this, it is very much appreciated :) June

2 3

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

Fwd: One week left to propose a talk at the seL4 summit 2022!
by June Andronick (seL4 Foundation) 06 May '22

06 May '22

Dear PC, In addition to the clarifications below, I also want to add that submissions for PC members are welcome (and expected!). I hope to receive submissions from most of you :) Cheers June > Begin forwarded message: > > From: "June Andronick (seL4 Foundation)" <june(a)sel4.systems> > Subject: Re: One week left to propose a talk at the seL4 summit 2022! > Date: 6 May 2022 at 10:02:17 am AEST > To: seL4 Dev List <devel(a)sel4.systems> > > Hi all, > > I have received a number of questions about submissions, so I’m sharing here some answers: > > - The requirements for a talk proposal due next week are (purposefully) light. We only require a short description (few paragraphs) of what the talk will be about. This description will be used by the PC to discuss whether the talk fits well for the submit and should be accepted. > > - The same abstract will also be used later on the website/program to describe each talk. We will give the opportunity to update this description closer to the summit date before publishing it. > > - There is no limit on the number of talks from same company. This may be considered by the PC when discussing acceptance, to allow some balance in the program, but if the topics are different and of interest, there is no intrinsic reason to not accept them all. > > - The last obligation will be to present the talk at the summit :) (preferably in person, else please note in the submission that it will be remote. If you don’t know yet, please indicate it). > > Happy to answer any further questions. Just send them to summit(a)sel4.systems <mailto:summit@sel4.systems> > > Looking forward to your submissions! > > June > >> On 2 May 2022, at 6:05 pm, June Andronick (seL4 Foundation) <june(a)sel4.systems <mailto:june@sel4.systems>> wrote: >> >> A reminder that you have until Monday 9th of May 2022 to propose a talk for the seL4 Summit 2022 :) >> >> http://sel4.systems/news/2022 <http://sel4.systems/news/2022> >> http://sel4.systems/Foundation/Summit/ <http://sel4.systems/Foundation/Summit/> >> http://sel4.systems/Foundation/Summit/cfp <http://sel4.systems/Foundation/Summit/cfp> >> >

1 0

(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

(seL4 summit 2022) Share the CFP!
by June Andronick (seL4 Foundation) 30 Mar '22

30 Mar '22

Dear PC of the seL4 summit 2022, The CFP is now out: https://sel4.systems/Foundation/Summit/cfp Please share it as widely as possible. As discussed during the last call, I rely on you to use your networks to encourage people to submit interesting talks, and you can also actively ping specific people you’d like to hear about. I am 1 week late in my original planning [0] due to overloading on my end but we are still having 5-6 weeks for people to submit, which should be plenty for just a few paragraphs. We will send a reminder 2-3 weeks before the deadline; I’ll let you know when that happens. Let me know if you have any questions Thanks June [0] https://docs.google.com/spreadsheets/d/1aVK9WoaElkNTL5pXJj-9qJ3GgXkmLV4qwwM…

1 0

(seL4 summit) please check CFP draft
by June Andronick (seL4 Foundation) 16 Mar '22

16 Mar '22

Hi all, Many thanks for all the discussion on themes and topics, by email and in the meeting today (for Darren and Robbie who couldn’t make it, rough notes can be found on [0]). I have drafted a CFP trying to cover all of the topics mentioned, grouped in roughly 4 themes. CFP: https://docs.google.com/document/d/19VhDmKXD-VGHLigp4s4DxLyGHYxkzj4BiHX2ZZB… Please have a look and check/comment/discuss in the coming days. The aim is to get the CFP out mid next week (March 23rd in the timeline [1]). Ihor said having a deadline is what makes people do something, so please check the CFP by end of this week if possible so I can tweak/adjust next week :) Thanks all! June [0] Rough notes of meeting on themes/topics, 2022-03-16: https://docs.google.com/document/d/1YhxdWN77gd6ab98heKLiDbsQe_I0W8foQ_x_Cca… <https://docs.google.com/document/d/1YhxdWN77gd6ab98heKLiDbsQe_I0W8foQ_x_Cca…> [1] timeline: https://docs.google.com/spreadsheets/d/1aVK9WoaElkNTL5pXJj-9qJ3GgXkmLV4qwwM… <https://docs.google.com/spreadsheets/d/1aVK9WoaElkNTL5pXJj-9qJ3GgXkmLV4qwwM…>

1 0