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.

Thanks for raising it. It's a challenge (it was a challenge already in the PC composition) but it’s important. The things I would suggest are: - can you all please actively think about women in the seL4 ecosystem that could give an interesting talk, and share with us asap? - when we send the notifications, we can ask people to consider diversity when selecting who’s going to present the work, if that’s an option for them What do you all think? Any other thoughts? Thanks, June
On 25 May 2022, at 10:39 am, Ihor Kuz <ihor@kry10.com> wrote:
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. _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems

I was hoping that the driver framework talk would be given by Lucy (but it may collide with her internship). We definitely don’t have an over-supply of diversity in the ecosystem… Gernot
On 25 May 2022, at 11:46, June Andronick (Gmail) <june.andronick@gmail.com> wrote:
Thanks for raising it. It's a challenge (it was a challenge already in the PC composition) but it’s important.
The things I would suggest are:
- can you all please actively think about women in the seL4 ecosystem that could give an interesting talk, and share with us asap?
- when we send the notifications, we can ask people to consider diversity when selecting who’s going to present the work, if that’s an option for them
What do you all think? Any other thoughts?
Thanks, June
On 25 May 2022, at 10:39 am, Ihor Kuz <ihor@kry10.com> wrote:
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. _______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
_______________________________________________ Summit-pc mailing list -- summit-pc@sel4.systems To unsubscribe send an email to summit-pc-leave@sel4.systems
participants (3)
-
Gernot Heiser
-
Ihor Kuz
-
June Andronick (Gmail)