From: Sandra Alves <sandra@dcc.fc.up.pt>
Final Call for Participation
WiL 2021: 5th Women in Logic Workshop
https://sites.google.com/g.uporto.pt/wil2021 <https://sites.google.com/g.uporto.pt/wil2021>
June 27, 2021
9:20am - 6:45pm CEST
part of LICS 2021
Registration:
http://easyconferences.eu/lics2021/registration <http://easyconferences.eu/lics2021/registration>
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
achievements;
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.
INVITED TALKS
Simona Ronchi Della Rocca
Title: "Intersection types for probabilistic computation”
Rineke Verbrugge
Title: "Zero-one laws for provability logic and its transitive sisters"
CONTRIBUTED TALKS
Laura Fontanella
Title: "Realising weak versions of Zorn's lemma”
Iris van der Giessen
Title: "Rules in Intuitionistic Modal Logics”
Malena Ivnisky
Title: "A finite-dimensional model for affine, linear quantum lambda calculi with general recursion”
Raheleh Jalali
Title: "On the complexity of disjunction property”
Katarzyna W. Kowalik
Title: "Long and normal solutions for Ramsey-type principles over a weak base theory”
Cleo Pau
Title: "Symbolic Techniques for Proximity Relations over Full Fuzzy Signatures"
Alexandra Pavlova
Title: "Game Approach to Logical Validity: A Case of Mezhirov's Provability Game"
Nicole Schrader
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?"
Shujun Zhang
Title: "On Transforming Cut-free Cyclic Proofs into Rewriting Induction Proofs"
CONTRIBUTED POSTERS
A. Mani
Title: "Mereological Emptiness for the Signed Number Problem"
Paola Cattabriga
Title: "Paradox free"
Maureen Eckert
Title: "Non-Domination and Centering in Val Plumwood’s Feminist Logic"
PROGRAM
The detailed program is available on the WiL'21 website at
https://sites.google.com/g.uporto.pt/wil2021/program <https://sites.google.com/g.uporto.pt/wil2021/program>
ORGANIZING AND PROGRAM COMMITTEE
SPONSORS
WiL'21 is pleased to acknowledge financial support from:
Last updated: Jan 04 2025 at 20:18 UTC