From: Sandra Alves <email@example.com>
Final Call for Participation
WiL 2021: 5th Women in Logic Workshop
June 27, 2021
9:20am - 6:45pm CEST
part of LICS 2021
Women in Logic 2021 is a satellite event of the 36th Annual ACM/IEEE
Symposium on Logic in Computer Science (LICS’21) to be held virtually
from June 29 until July 2, 2021.
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:
provide a platform for female researchers to share their work and
increase the feelings of community and belonging, especially among
junior faculty, post-docs and students through positive interactions
with peers and more established faculty;
establish new connections and collaborations;
Previous versions of Women in Logic (Reykjavík, Iceland 2017,
Oxford, UK 2018, Vancouver, Canada 2019, and Paris, France 2020)
were very successful in showcasing women's work and as catalysts for a
recognition of the need for change in the community.
Simona Ronchi Della Rocca
Title: "Intersection types for probabilistic computation”
Title: "Zero-one laws for provability logic and its transitive sisters"
Title: "Realising weak versions of Zorn's lemma”
Iris van der Giessen
Title: "Rules in Intuitionistic Modal Logics”
Title: "A finite-dimensional model for affine, linear quantum lambda calculi with general recursion”
Title: "On the complexity of disjunction property”
Katarzyna W. Kowalik
Title: "Long and normal solutions for Ramsey-type principles over a weak base theory”
Title: "Symbolic Techniques for Proximity Relations over Full Fuzzy Signatures"
Title: "Game Approach to Logical Validity: A Case of Mezhirov's Provability Game"
Title: "First-Order Logic with Connectivity Operators"
Sara L. Uckelman
Title: "Women in the History of Logic: Why does it Matter Who Our Foremothers Are?"
Title: "On Transforming Cut-free Cyclic Proofs into Rewriting Induction Proofs"
Title: "Mereological Emptiness for the Signed Number Problem"
Title: "Paradox free"
Title: "Non-Domination and Centering in Val Plumwood’s Feminist Logic"
The detailed program is available on the WiL'21 website at
ORGANIZING AND PROGRAM COMMITTEE
WiL'21 is pleased to acknowledge financial support from:
Last updated: Sep 25 2021 at 08:21 UTC