Women in Logic

Philosophical, mathematical, computational, or any other kind of formal logic!

About us

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

Our flagship event is the annual WiL Workshop.

  • All the latest updates can be found on the news page.
  • You can read about our previous workshops and find links to their individual websites on the workshops page.
  • You can see some of the data we collected showcasing the disregard for women in academia.
  • We appreciate any comments and suggestions that you may have to make this website better: see how to get in touch with us on our contact page.

Thank you for all you do to improve the situation for women in logic,

Valeria (for the Steering Committee)

Structure

  • Women in Logic (WiL) is a collective whose flagship event is an annual workshop, also called Women in Logic.
  • Together with community organizers, WiL is convened by a Steering Committee (SC) whose composition and function are specified in the next section.
  • Each workshop has a Program Committee (PC) that is responsible for the scientific content of the program.
  • Each workshop has at least 2 Conference Organizers who are responsible for the PC composition, as well as local organization, finances, publicity, and liaison with sponsors. Conference Organizers should refrain from submitting papers to the Workshop.
  • WiL annually requests “in-cooperation status” with the ACM SIGLOG.
  • Modifications of these bylaws are submitted to the SC Chair and require the approval of the SC.

Women in Logic Steering Committee

  • The purpose of the Steering Committee (SC) is to ensure the long-term success of the WiL collective.
  • The SC selects the location, date, and Conference Organizers of each symposium.
  • PC and Conference Organizers are just a useful fiction for co-chairs, who divide the work the best way they can.
  • The SC may consist of the PC and Conference Organizers of the last 3 symposia and one member of the SIGLOG executive committee.
  • The SIGLOG representative is appointed by the chair of SIGLOG, subject to approval by the chair of the WiL steering committee, and ensures coordination between SIGLOG and other SIGLOG affiliated events; once every three years when the SIGLOG executive committee changes, the SIGLOG representative may change.
  • The SC elects its own chair shortly after the end of each workshop.
  • The decisions of the SC require at least 50% of the votes and a simple majority.

The current composition of the SC is as follows:

Agata Ciabattoni
Appointed until 2025

Alexandra Silva
Appointed until 2025

Amy Felty
Appointed until 2025

Brigitte Pienka
Appointed until 2025

Rineke Verbrugge
Appointed until 2027

Sandra Alves
Appointed until 2025

Sandra Kiefer
Appointed until 2026

Sara L. Uckelman
Appointed until 2027

Sonja Smets
Appointed until 2025

Valeria de Paiva
Appointed until 2025
No matching items

Supporters

[Special Interest Group of the ACM for Logic](https://siglog.org)

[Special Interest Group of the ACM for Logic](https://siglog.org)

[Vienna Center for Logic and Algorithms](https://www.vcla.at)

[Vienna Center for Logic and Algorithms](https://www.vcla.at)

[Institute of Logic, Language and Computation of the University of Amsterdam](https://www.illc.uva.nl)

[Institute of Logic, Language and Computation of the University of Amsterdam](https://www.illc.uva.nl)

[Topos Institute](https://topos.institute)

[Topos Institute](https://topos.institute)

We also thank Tim Hosgood for technical help.