Théo Zimmermann (Jun 26 2020 at 15:29): Théo Zimmermann (Jun 26 2020 at 15:29):This topic is dedicated to having a workshop-long discussion on possible actions to improve the diversity situation in the Coq community and during related events. Everyone is welcome to participate in the discussion even if you do not participate in the workshop.
Théo Zimmermann (Jul 01 2020 at 16:56):One concern that has been raised very often to the organizers related to diversity and in particular to the attendance of people with children to the workshop is that having the workshop partly organized on a week-end is detrimental. We completely agree with this concern and we are sorry that it happened that way. As organizers of the workshop, we didn't have much control over the dates (this was decided by the IJCAR-FSCD organizers when the conference was still planned to be a physical event). It seems to me that our main mistake is that we didn't react quickly to the announcement that it would be organized virtually to suggest adjusting the schedule so that no events would happen over a week-end.
Théo Zimmermann (Jul 01 2020 at 16:58):The consequences of this are very visible: several people with children declined to participate in the panel on libraries because it was held on a Sunday :disappointed:
Maxime Dénès (Jul 05 2020 at 13:50):Yes, and even for some people attending, or for their family, it has some negative consequences.
Théo Zimmermann (Jul 05 2020 at 13:55):BTW, we've kept the Sunday program as lightweight as possible (compared to Monday) for this reason.
Maxime Dénès (Jul 05 2020 at 13:57):Are we going to see a full day of Coq Workshop with only male speakers?
Maxime Dénès (Jul 05 2020 at 13:58):I thought the situation had improved in the few previous editions, but this seems like a strong regression to me.
Théo Zimmermann (Jul 05 2020 at 14:06):I think so. For the panel, this was really due to this being a Sunday, but for the talks, I'm afraid we received very few abstracts with female co-authors :frown:
Maxime Dénès (Jul 05 2020 at 14:06):I think this will deserve a serious debrief discussion TBH.
Pierre Corbineau (Jul 05 2020 at 14:19):We have a female co-author, Karine, who just couldn't attend on a Sunday.
Roberto Blanco (Jul 06 2020 at 11:45):Sadly I'm quite busy and it will be difficult for me to actively participate during the workshop, but I'm also very interested in this discussion.
Last updated: Jun 10 2023 at 06:31 UTC