The 7th International Women in Logic Workshop was a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) and was held in Rome, Italy, on 1 July 2023.

The program included four sessions, a poster session, and an informal social event. VCLA Co-Chair Agata Ciabattoni was part of the program committee which consisted of thirteen women. Sandra Kiefer (University of Oxford), Daniele Nantes (University of Brasília/Imperial College), and Tephilla Prince (IIT Dharwad) acted as co-chairs of the workshop. Pamina Georgiou (TU Wien) gave a talk on “Tales of Automated Software Verification with First-order Theorem Provers”.

Invited talks

• Marie Kerjean (CNRS, Université Sorbonne Paris Nord)
  Title: From functional analysis to proofs and program
• Sandra Alves (University of Porto)
  Title: Quantitative Weak Linearisation

(c) Women in Logic

Women in Logic 2024 will be held in Tallinn, Estonia, on July 9!

Previous Editions

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)