[Summit-pc] seL4 summit program and gender diversity