[isabelle] WiL'21 Final Call for Participation



--------------------------------------------------------------------------------------------
                          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


* Full funding available for speakers and other 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. 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


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.