Hi Birg, I’m so sorry — I’m in the US at HCSS and haven’t had a chance to touch them. I’ll try to have a look tomorrow afternoon! Thanks, – Martin (he/him) Verification Research Lead NCSC Applied Crypt Desk: 07468 836490 Mob: 07385 084157 ________________________________ From: Birgit Brecknell <birgit.brecknell@unsw.edu.au> Sent: Thursday, May 11, 2023 8:14:30 PM To: summit-pc@sel4.systems <summit-pc@sel4.systems> Cc: birgit@sel4.systems <birgit@sel4.systems> Subject: [Summit-pc] Re: seL4 summit 2023: reviews Dear PC A reminder that your reviews are due today, 12 May. Please complete them by Sun 14 May at the very latest! cheers Birg --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit@sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm ________________________________ From: Birgit Brecknell Sent: Monday, 1 May 2023 5:56 PM To: summit-pc@sel4.systems <summit-pc@sel4.systems> Cc: birgit@sel4.systems <birgit@sel4.systems> Subject: seL4 summit 2023: reviews Dear PC, It’s reviewing time! You should all have received a link to your review file. 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 8-10 of the submissions —except Darren and Ihor, who 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 H (with A+, A, A-, U = Undecided, R = Reject, S = suggest a repurpose (panel, BoF..)). 3- add comments in column I; 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- 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. 5- 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 12 May so we have time to collate all the answers before the "PC meeting” on 18-19 May (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 appreciated :) cheers Birg & June --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW birgit.brecknell@unsw.edu.au 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm