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.