European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

In the area of computer science, the proportion of women researchers is much lower than the number of male researchers: the European Commission She Figures 2021 report indicates that among doctoral graduates in computer science there is about 21% of women (Table 2.4) and the proportion drops when progressing towards Grade A positions (Table 6.2, Figure 6.2). In the EuroProofNet there is currently about 20% women participants and about 35% in the management committee, therefore higher than the baseline. This reflects our active efforts to improve representation of women in the leadership roles.

We strive to ensure better gender balance in the community and we take actions towards this goal. We are working with the cost action CA19122 European Network For Gender Balance in Informatics (EUGAIN) and we implement some of the best practices from the EUGAIN booklet:

  • We are committed to using inclusive language.
  • We monitor the distribution of funds among action participants and we prioritize funding of people of underrepresented genders.
  • We monitor gender balance within the management roles.
  • We contact eligible women researchers and invite them to join the action.
  • We promote work done by members of underrepresented genders (WEPN’22, WEPN’23).
  • We organize training and discussion on unconscious biases and gender-balance issues (WEPN’22, WEPN’23).
  • We aid parents with finding/ensuring childcare at the events organized by EuroProofNet action.
  • We consider gender aspects of our research.

If you are organizing an event within the action or if you have other questions/ideas about how to address gender-balance issues within the action, contact the gender-balance coordinator.

Activities: