Women in Formal Mathematics 2024: A Weekend of Ideas and Community

On July 6–7, 2024, the Hausdorff Institute of Mathematics hosted the Women in Formal Mathematics workshop, a two-day event dedicated to showcasing and supporting women in formal proofs, logic, and automated deduction. The workshop was organized within the trimester program Prospects of Formal Mathematics, with support from Women in EuroProofNet 2024 (WEPN) . This blog post should probably have…