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

(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

(seL4 summit) quick check on your picture+link
by June Andronick (seL4 Foundation) 16 Mar '22

16 Mar '22

Hi all, Here’s a draft web page where the PC list for the seL4 summit will appear. I intend to publish it on Friday my time, with some announcements. Let me know if you’d like any change with the picture or the link it points to. I’ll interpret silence as agreement :) Thanks! June https://htmlpreview.github.io/?https://raw.githubusercontent.com/seL4/websi… <https://htmlpreview.github.io/?https://raw.githubusercontent.com/seL4/websi…>

2 1

(seL4 summit) Task#1: themes/topics for CFP
by June Andronick (seL4 Foundation) 15 Mar '22

15 Mar '22

Dear PC of the seL4 summit 2022, Here's your first task: help finalise a call for presentation by suggesting themes/topics and/or commenting on the ones suggested by others (by reply-all to this email). Please do so between now and the meeting scheduled for next week. Namely you will see a few places where input is needed below, **starred** for your convenience. Remember: we aim to maximise the take away value. So you should think of it as: what would an ideal seL4 summit look like for you? What is the cool seL4 work that you heard about and would love to hear more about? The Call For Presentation is lightweight and informal. The aim is to attract the work we want to hear about or want the community to hear about. The CFP could have a list of topics, which may or may not be grouped into 3-4 themes. Just to get started, here are ideas of topic/themes: - seL4's future: research and early work - seL4 development efforts - seL4 in the field / adoption - student projects on seL4; education **Please send your own suggested topics/themes and/or comments on the ones above and the ones that will be sent my other PC members.** In addition to the regular presentations in the areas above, we envision some/all of the following and we seek your feedback: - Keynotes: to be discussed in May. - "Ask Me Anything" (AMA) sessions (eg to all of the TSC, to people who's applied seL4 in the field/gov/etc...): to be discussed with Keynotes in May. - Demo/Advertising: small (5min) videos from members (eg about product, tool, application...). We can have a separate call to members for these, with maybe a very quick review/discussion at the PC level. - Birds of a feather / informal discussions on specific topics and then report back: **if some of you have experience with that and interest in discussing having one at the summit, please let me know and we could start a separate discussion**. - Mentorship session (between people with seL4 experience and students/newcomers to the seL4 community): **if some of you like the idea and have interest in discussing this for the summit, please let me know and we could start a separate discussion.** - Bootcamp/Training/Tutorial: the seL4 Foundation will be aiming at providing and delivering an seL4 training, with the help of the ecosystem. **If some of you have interest in providing feedback and/or help with this, let me know**. **Please also let me know if you believe we should have a call for other training/tutorials.** **Any further comments/thoughts on the list above, or any new ideas is welcome.** Let the discussion begin, which we'll finalise at the meeting next week. Thanks all! June

7 7

(seL4 summit) calendar issue
by June Andronick (seL4 Foundation) 09 Mar '22

09 Mar '22

Apologies for the calendar issues (due to initial hiccups with setting up the mailing list). The meeting *is happening* (please ignore the cancellation you may have received). https://unsw.zoom.us/j/83892659114 Meeting ID: 83892659114 Thanks June

1 0

Canceled event: seL4 summit - finalise topics/themes for CFP @ Wed Mar 16, 2022 8am - 9am (AEDT) (summit-pc@sel4.systems)
by june.andronick＠gmail.com 09 Mar '22

09 Mar '22

This event has been canceled. Title: seL4 summit - finalise topics/themes for CFP Dear PC of the seL4 summit 2022, This is the meeting to finalise the discussion on topics for the CFP. If you can't attend, please contribute even more to the email discussion :) Thanks June --- Notice: This conference may be recorded for security, educational, quality and coaching purposes. Please contact the conference organiser if you have concerns about this or would like more information about your rights under privacy legislation. Information on UNSW's privacy policy is available at https://www.legal.unsw.edu.au/compliance/privacyhome.html ----------------------------------------------------------------- Australian Toll number: Dial: +61 (0) 2 8015 2088 ----------------------------------------------------------------- Hi there, June Andronick is inviting you to a scheduled Zoom meeting. Topic: seL4 summit - finalise topics/themes for CFP Time: Mar 16, 2022 08:00 AM Canberra, Melbourne, Sydney Join from PC, Mac, Linux, iOS or Android: https://unsw.zoom.us/j/83892659114 Or iPhone one-tap : Australia: +61370182005,,83892659114# or +61731853730,,83892659114# Or Telephone: Dial(for higher quality, dial a number based on your current location)： Australia: +61 3 7018 2005 or +61 7 3185 3730 or +61 8 6119 3900 or +61 8 7150 1149 or +61 2 8015 6011 Meeting ID: 838 9265 9114 International numbers available: https://unsw.zoom.us/u/kzsFaY4lt Or an H.323/SIP room system: Dial 83892659114(a)zmau.us or 103.122.166.55 Meeting ID: 83892659114 Need help using Zoom? Visit the Zoom Help Centre: https://support.zoom.us When: Wed Mar 16, 2022 8am – 9am Eastern Australia Time - Sydney Where: https://unsw.zoom.us/j/83892659114 Calendar: summit-pc(a)sel4.systems Who: * june.andronick(a)gmail.com - organizer * Birgit Brecknell * summit-pc(a)sel4.systems Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this courtesy email at the account summit-pc(a)sel4.systems because you are an attendee of this event. To stop receiving future updates for this event, decline this event. Alternatively you can sign up for a Google account at https://calendar.google.com/calendar/ and control your notification settings for your entire calendar. Forwarding this invitation could allow any recipient to send a response to the organizer and be added to the guest list, or invite others regardless of their own invitation status, or to modify your RSVP. Learn more at https://support.google.com/calendar/answer/37135#forwarding

1 0

Invitation: seL4 summit - finalise topics/themes for CFP @ Wed Mar 16, 2022 8am - 9am (AEDT) (summit-pc@sel4.systems)
by june.andronick＠gmail.com 09 Mar '22

09 Mar '22

You have been invited to the following event. Title: seL4 summit - finalise topics/themes for CFP Dear PC of the seL4 summit 2022, This is the meeting to finalise the discussion on topics for the CFP. If you can't attend, please contribute even more to the email discussion :) Thanks June --- Notice: This conference may be recorded for security, educational, quality and coaching purposes. Please contact the conference organiser if you have concerns about this or would like more information about your rights under privacy legislation. Information on UNSW's privacy policy is available at https://www.legal.unsw.edu.au/compliance/privacyhome.html ----------------------------------------------------------------- Australian Toll number: Dial: +61 (0) 2 8015 2088 ----------------------------------------------------------------- Hi there, June Andronick is inviting you to a scheduled Zoom meeting. Topic: seL4 summit - finalise topics/themes for CFP Time: Mar 16, 2022 08:00 AM Canberra, Melbourne, Sydney Join from PC, Mac, Linux, iOS or Android: https://unsw.zoom.us/j/83892659114 Or iPhone one-tap : Australia: +61370182005,,83892659114# or +61731853730,,83892659114# Or Telephone: Dial(for higher quality, dial a number based on your current location)： Australia: +61 3 7018 2005 or +61 7 3185 3730 or +61 8 6119 3900 or +61 8 7150 1149 or +61 2 8015 6011 Meeting ID: 838 9265 9114 International numbers available: https://unsw.zoom.us/u/kzsFaY4lt Or an H.323/SIP room system: Dial 83892659114(a)zmau.us or 103.122.166.55 Meeting ID: 83892659114 Need help using Zoom? Visit the Zoom Help Centre: https://support.zoom.us When: Wed Mar 16, 2022 8am – 9am Eastern Australia Time - Sydney Where: https://unsw.zoom.us/j/83892659114 Calendar: summit-pc(a)sel4.systems Who: * june.andronick(a)gmail.com - organizer * Birgit Brecknell * summit-pc(a)sel4.systems Event details: https://calendar.google.com/calendar/event?action=VIEW&eid=Xzc1MWtjZTFuODkw… Invitation from Google Calendar: https://calendar.google.com/calendar/ You are receiving this courtesy email at the account summit-pc(a)sel4.systems because you are an attendee of this event. To stop receiving future updates for this event, decline this event. Alternatively you can sign up for a Google account at https://calendar.google.com/calendar/ and control your notification settings for your entire calendar. Forwarding this invitation could allow any recipient to send a response to the organizer and be added to the guest list, or invite others regardless of their own invitation status, or to modify your RSVP. Learn more at https://support.google.com/calendar/answer/37135#forwarding

1 0