Women in Logic 2025

July 14, Birmingham, UK

Women in Logic 2025 is a satellite event of FSCD 2025: the 10th International Conference on Formal Structures for Computation and Deduction, held in Birmingham, UK, from July 14 to July 20, 2025.

The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community.

Our aim is to:

We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers.

Speakers

 

Daniele Nantes-Sobrinho (Imperial College-UnB)

 

Liron Cohen (Ben-Gurion University)

 

Sponsors and partners

eTSS

SigLog

Topos Institute

Kurt Gödel Society