Logic List Mailing Archive

WiL 2021: Women in Logic, Virtual

27 Jun 2021

--------------------------------------------------------------------------------------------
                         Final Call for Participation

                  WiL 2021: 5th Women in Logic Workshop
                 https://sites.google.com/g.uporto.pt/wil2021
                              June 27, 2021
                         9:20am - 6:45pm CEST
             part of LICS 2021


* Everybody is welcome! Full funding available for participants! *
Please apply here: https://forms.gle/cs8QpjeMzd7D4q8d9

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.

We invite everybody to become part of the audience! 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;
- foster a welcoming culture of mutual support and growth within the
logic research community.

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

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

--------------------------------------------------------------------------------------------
ORGANIZING AND PROGRAM COMMITTEE

* Sandra Alves (Co-chair, University of Porto)
* Agata Ciabattoni (TU Wien)
* Amy Felty (University of Ottawa)
* Maribel Fernández (King's College London)
* Helle Hansen (University of Groningen)
* Delia Kesner (Université de Paris)
* Sandra Kiefer (Co-chair, RWTH Aachen University/University of Warsaw)
* Koko Muroya (RIMS Kyoto University)
* Daniele Nantes (University of Brasília)
* Aybüke Özgün (ILLC - University of Amsterdam)
* Valeria de Paiva (Topos Institute)
* Ana Sokolova (Co-chair, University of Salzburg)

--------------------------------------------------------------------------------------------
SPONSORS

WiL'21 is pleased to acknowledge financial support from:

* ILLC, the Institute of Logic, Language and Computation of the University of Amsterdam
* SIGLOG, the Special Interest Group of the ACM for Logic
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam