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 the program and immediately afterwards. I decided to wait until a report was requested — and in hindsight, the delay has been a gift. Looking back now brings the events into focus with an added layer of perspective, making the memories even more enjoyable to revisit.
We were lucky to hear inspiring talks from five outstanding invited speakers — Ursula Martin (Oxford), Sandra Alves (Porto), Brigitte Pientka (McGill), María Inés de Frutos-Fernández (then at UAM), and Mateja Jamnik (Cambridge). Their contributions spanned big-picture reflections on why formalizing mathematics matters, as well as concrete research breakthroughs. Some of the talks are available to watch on the HIM YouTube channel.
Beyond the talks, the workshop created a welcoming space for connection — from early-career researchers meeting new mentors to a lively evening gathering that encouraged informal conversations. We are grateful to the HIM team, especially Silke Steinert-Berndt and Stefan Hartmann, for their support in making the weekend possible.
It was a memorable celebration of research, collaboration, and community — and we hope it will inspire similar initiatives in the future.
No comments:
Post a Comment