Looks good to me. Darren ________________________________ From: Birgit Brecknell <birgit.brecknell@unsw.edu.au> Sent: Friday, June 24, 2022 2:07:47 AM To: summit-pc@sel4.systems <summit-pc@sel4.systems> Subject: [External] seL4 summit 2022 - Draft program: pls check by COB 27 Jun Dear Presenters and PC Please find attached the draft program for the seL4 Summit 2022. NB: We haven't finalised all the talk titles, presenters and affiliations. Action item: Please check the program and let us know if there are any problems with it. Please do this by COB Mon 27 Jun, so that we can advertise the program next week. Many thanks, 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