[Summit-pc] seL4 summit program and gender diversity

Hi, I realised after the summit PC meeting that there is very little gender diversity in the program. Does anyone have ideas for what we can do about that? Ihor.