[Summit-pc] seL4 summit: your allocation as session chair (PLEASE CHECK)

Dear PC, Please find attached an allocation of session chairs for the summit. Please let us know asap if you have any issues with your allocated slot. If we don’t hear from you by Monday 11th, we’ll assume it’s all good :) Thanks and see you all in Minneapolis very soon! June, on behalf of Ihor and Darren