Universität Bonn

Women in Formal Mathematics
6-7 July 2024, Hausdorff Research Institute for Mathematics, Bonn, Germany

Two-days of talks, activities, and discussions of the role of women in automated mathematical proofs in the Hausdorff Institute of Mathematics

Organizers: Sandra Alves & Valeria de Paiva (Topos Institute)

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.
logic black.jpg
© Women in Logic

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).

Speakers.png
© Valeria de Paiva

Important Dates:

  • Abstract submission deadline: June 3, 2024
  • Notification of acceptance: June 10, 2024
  • Workshop date: July 6-7, 2024
Wird geladen