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