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