Helpful Data

How underrepresented are women in logic?

Open Directory of Women in Logic

Open Directory of Women in Category Theory

Open Directory of Women in Programming Languages Research

Invited Speakers at Computational Logic conferences: gender differences

Association for Symbolic Logic (ASL) Meetings & Gender Balance: 1989-2016

We are in the process of gathering more data to include here.

Tables taken from blog posts "ASL Statement on Women in Logic" & "Repeat Invitations in ASL Conference Series", from 2016, which need to be updated.

Big thank you to our friends who have helped put this data together! Especially:

Prof. Catarina Dutilh Novaes
Prof. Brigitte Pientka and collaborators
Prof. Johanna Franklin

Also thanks to all organizers and PC members of the several WiL workshops! A special thank you to Prof Ursula Martin for the networking dinner at Wadham College, Oxford, 2018.