Women in Logic (WiL) is an initiative that aims to provide a forum for women working on logical issues, from foundations of computer science to philosophy, including mathematical logic, logics for AI, and logical approaches to language. The goal of WiL is to enhance the experience of women in logic and closely related areas, communicating achievements of women in logic to these communities, and thereby increasing the number of women in logic. 

Since 2018, the VCLA has been contributing to the Women in Logic workshop series, which follow the pattern of meetings such as Women in Machine Learning or Women in Engineering that have been around for quite some years. The workshop series, which is part of the annual ACM/IEEE Symposiums on Logic in Computer Science (LICS), aims to offer opportunities for women in the LICS community to increase awareness of one another and each other’s work, and to combat the feeling of isolation which can hinder career development, especially among early-career academics.

The most visible effort to support the junior colleagues in the community are the annual ACM SIGLOG/VCLA Travel Awards, which support the female and male presenters at the Women in Logic workshops all around the world.

Women in Logic Online

In March 2024, Women in Logic launched a new seminar series called “Women in Logic Online”.

The first talk was held by Valeria de Paiva via zoom on March 20. Valeria talked about the gender gap in STEM, the rocky road towards gender equality, and the timeline in which this is likely to be achieved in different countries across the world. She also discussed her research on how AI tools may contribute to making mathematics easier to understand for everyone.
If you missed this inspiring talk, or would like to watch it one more time, you can find the recording on the VCLA youtube channel. As many participants have asked Valeria to make the slides available online, we have uploaded them here as well: WILonline_dePaiva_Slides.

Information on future talks will be added shortly!

Workshops

8th Women in Logic Workshop 2024 (Tallinn, Estonia)

7th Women in Logic Workshop 2023 (Rome, Italy)

6th Women in Logic Workshop 2022 (Haifa, Israel)

5th Women in Logic Workshop 2021 (virtual event)

4th Women in Logic Workshop 2020 (June 2020, Paris, France)

3rd Women in Logic Workshop 2019 (July 2019, Vancouver, Canada)

2nd Women in Logic Workshop 2018 (July 2018, Oxford, United Kingdom)

1st Women in Logic Workshop 2017 (June 2017, Reykjavik, Iceland)