Women in Formal Mathematics 2024: A Weekend of Ideas and Community
Valeria (noreply@blogger.com)
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 been written last year. But at the time, there were simply too many ideas and projects sparked during t