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
| 9:00 | 11:00 | 14:00 | 15:30 | 16:10 | |
| Saturday (July 6) | Ursula Martins | Roussanka Loukanova | María Inés de Frutos-Fernández | Mateja Jamnik | Anshula Gandhi |
| Sunday (July 7) | Sandra Alves | Lucy Horowitz | Brigitte Pientka | Andrea Kolhase | Gisele Secco |
Sandra Alves (Universidade do Porto): Structural Rules and Algebraic Properties of Intersection Types
Sandra Alves: Structural Rules and Algebraic Properties of Intersection Types
María Inés de Frutos-Fernández (Universidad Autónoma de Madrid): Local fields in Lean
María Inés de Frutos-Fernández: Local fields in Lean
Anshula Gandhi (University of Cambridge): Automatically Generalizing Proofs
(No recording available)
Video not found
Lucy Horowitz (University of Chicago): MathGloss and Beyond
Lucy Horowitz: MathGloss and Beyond
Andrea Kolhase (Neu-Ulm University of Applied Sciences): Insights into Search Interfaces for Mathematicians
Andrea Kolhase: Insights into Search Interfaces for Mathematicians
Roussanka Loukanova (Bulgarian Academy of Sciences): Algorithmic Syntax-Semantics with the Type Theory of acyclic Algorithms
(No recording available)
Video not found
Ursula Martin (Wadham College Oxford): The social machine of mathematics
(No recording available)
Video not found
Brigitte Pientka (McGill University Canada / MPI-SWS): A Type-Theoretic Framework for Certified Meta-programming
Brigitte Pientka: A Type-Theoretic Framework for Certified Meta-programming
Gisele Secco (California State University San Bernardino): Loparic avec les lacaniens - challenges from a translation
(No recording available)
Video not found