Women in Logic 2020 is part of “Paris Nord Summer of LoVe 2020“, a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. Check the webpage in https://sites.google.com/g.uporto.pt/wil2020/
This is of course great news! But the point of this post is to remind everyone that we have a spreadsheet, carefully manually compiled by Brigitte Pientka and collaborators, showing us the number and gender of Invited speakers in many of the main conferences that relate Logic to Computer Science.
Now maybe we should try to count the number of female PC members over the years and the number of accepted papers who had female co-authors. I don't know if this will help improve matters, but more information is always good.