The 6th International Women in Logic Workshop was a satellite event of the International Conference on Formal Structures for Computation and Deduction (FSCD 2022) and was held on July 31, 2022 as a pre-workshop of FLoC 2022 in Haifa, Israel. The workshop was organized by Sandra Alves (Univ. of Porto), Sandra Kiefer (Max Planck Institute for Software Systems), and Daniele Nantes (Imperial College London). The program committee consisted of thirteen women, and there were two invited speakers. All nine submissions were accepted and presented in person. With 35 registered participants, it was the workshop with the highest number of registrations in FCSD. WiL had support from VCLA, SIGLOG, and the Institute of Logic, Language, and Computation of the University of Amsterdam. In this edition, WiL organized the First Women@FLoC dinner with financial support from Microsoft and FLoC. Sandra Kiefer was invited to give a talk about the Women in Logic in the Diversity & Inclusion session at the 19^th International Conference on Principles of Knowledge Representation and Reasoning (KR2022).

Invited Talks

• Dana Fisman (Ben-Gurion University of the Negev)
  Title: A normalized edit distance on finite and infinite words
• Delia Kesner (Universite Paris Cite and Institut Universitaire de France)
  Title: Embedding Quantitative Properties of Call-by-Name and Call-by-Value into Call-by-Push-Value

For the full report, click here.

(c) Women in Logic

Previous Editions

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)