seL4 summit - another keynote?

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-9qJ3GgXkmLV4qwwMD... <https://docs.google.com/spreadsheets/d/1aVK9WoaElkNTL5pXJj-9qJ3GgXkmLV4qwwMDxbp65gY/edit?usp=sharing> Thanks all June
participants (1)
-
June Andronick (seL4 Foundation)