Women in Formal Mathematics 2024 is a 2-day workshop, associated with the Hausdorff Institute of Mathematics and supported by EuroProofNet-Women (WEPN). Some funding for attendance is provided by WEPN, as described in their website. This workshop aims to spotlight the  contributions made by women in the realm of proofs and automated deduction. Our mission is to elevate the research conducted by women, fostering increased visibility and representation in the community. Key objectives include:

• Providing a platform for women researchers to showcase their work and achievements
• Cultivating a sense of community and belonging, especially among early-career faculty, post-docs, and students, through positive interactions with peers and  faculty
• Facilitating the formation of new connections and collaborations.
• Nurturing a welcoming culture of mutual support and growth within the research community.

Apart from contributions from the participants of the Hausdorff Institute Trimester Program on Prospects of Formal Mathematics, we also will accept a small number of contributed talks on the issues of proof and formalized mathematics and the issues faced by the women in this area. Abstracts should be written in English and should not exceed 1-2 pages. Please use the EasyChair style for formatting your submission (EasyChair Style Guidelines).

Submit your abstracts as a PDF file via email to valeria.depaiva@gmail.com before the submission deadline on June 3, 2024 (anywhere on Earth).