(seL4 summit) please check CFP draft

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-VGHLigp4s4DxLyGHYxkzj4BiHX2ZZB3... 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_CcaC... <https://docs.google.com/document/d/1YhxdWN77gd6ab98heKLiDbsQe_I0W8foQ_x_CcaCEug/edit?usp=sharing> [1] timeline: https://docs.google.com/spreadsheets/d/1aVK9WoaElkNTL5pXJj-9qJ3GgXkmLV4qwwMD... <https://docs.google.com/spreadsheets/d/1aVK9WoaElkNTL5pXJj-9qJ3GgXkmLV4qwwMDxbp65gY/edit?usp=sharing>
participants (1)
-
June Andronick (seL4 Foundation)