<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">--------------------------------------------------------------------------------------------</div><div class=""> Final Call for Participation</div><div class=""><br class=""></div><div class=""> WiL 2021: 5th Women in Logic Workshop</div><div class=""> <a href="https://sites.google.com/g.uporto.pt/wil2021" class="">https://sites.google.com/g.uporto.pt/wil2021</a></div><div class=""> June 27, 2021</div><div class=""> 9:20am - 6:45pm CEST</div><div class=""><span class="Apple-tab-span" style="white-space: pre;"> </span> <span class="Apple-tab-span" style="white-space: pre;"> </span> part of LICS 2021</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">* Full funding available for speakers and other participants! *</div><div class="">Please apply here: <a href="https://forms.gle/cs8QpjeMzd7D4q8d9" class="">https://forms.gle/cs8QpjeMzd7D4q8d9</a> </div><div class=""><br class=""></div><div class="">Registration: </div><div class=""><a href="http://easyconferences.eu/lics2021/registration" class="">http://easyconferences.eu/lics2021/registration</a></div><div class=""> <span class="Apple-tab-span" style="white-space: pre;"> </span> </div><div class="">--------------------------------------------------------------------------------------------</div><div class="">Women in Logic 2021 is a satellite event of the 36th Annual ACM/IEEE </div><div class="">Symposium on Logic in Computer Science (LICS’21) to be held virtually </div><div class="">from June 29 until July 2, 2021.</div><div class=""><br class=""></div><div class="">The Women in Logic workshop (WiL) provides an opportunity to increase</div><div class="">awareness of the valuable contributions made by women in the area of</div><div class="">logic in computer science. Its main purpose is to promote the excellent</div><div class="">research done by women, with the ultimate goal of increasing their</div><div class="">visibility and representation in the community. Our aim is to:</div><div class=""><br class=""></div><div class="">- provide a platform for female researchers to share their work and</div><div class="">achievements;</div><div class="">- increase the feelings of community and belonging, especially among</div><div class="">junior faculty, post-docs and students through positive interactions</div><div class="">with peers and more established faculty;</div><div class="">- establish new connections and collaborations;</div><div class="">- foster a welcoming culture of mutual support and growth within the</div><div class="">logic research community.</div><div class="">We believe these aspects will benefit women working in logic and computer</div><div class="">science, particularly early-career researchers.</div><div class=""><br class=""></div><div class="">Previous versions of Women in Logic (Reykjavík, Iceland 2017,</div><div class="">Oxford, UK 2018, Vancouver, Canada 2019, and Paris, France 2020) </div><div class="">were very successful in showcasing women's work and as catalysts for a </div><div class="">recognition of the need for change in the community.</div><div class=""><br class=""></div><div class="">--------------------------------------------------------------------------------------------</div><div class="">INVITED TALKS</div><div class=""><br class=""></div><div class="">* Simona Ronchi Della Rocca </div><div class=""> Title: "Intersection types for probabilistic computation”</div><div class=""><br class=""></div><div class="">* Rineke Verbrugge</div><div class=""> Title: "Zero-one laws for provability logic and its transitive sisters"</div><div class=""><br class=""></div><div class="">--------------------------------------------------------------------------------------------</div><div class="">CONTRIBUTED TALKS</div><div class=""><br class=""></div><div class="">* Laura Fontanella</div><div class=""> Title: "Realising weak versions of Zorn's lemma”</div><div class=""><br class=""></div><div class="">* Iris van der Giessen</div><div class=""> Title: "Rules in Intuitionistic Modal Logics”</div><div class=""><br class=""></div><div class="">* Malena Ivnisky</div><div class=""> Title: "A finite-dimensional model for affine, linear quantum lambda calculi with general recursion”</div><div class=""><br class=""></div><div class="">* Raheleh Jalali</div><div class=""> Title: "On the complexity of disjunction property”</div><div class=""><br class=""></div><div class="">* Katarzyna W. Kowalik</div><div class=""> Title: "Long and normal solutions for Ramsey-type principles over a weak base theory”</div><div class=""><br class=""></div><div class="">* Cleo Pau</div><div class=""> Title: "Symbolic Techniques for Proximity Relations over Full Fuzzy Signatures"</div><div class=""><br class=""></div><div class="">* Alexandra Pavlova</div><div class=""> Title: "Game Approach to Logical Validity: A Case of Mezhirov's Provability Game"</div><div class=""><br class=""></div><div class="">* Nicole Schrader</div><div class=""> Title: "First-Order Logic with Connectivity Operators"</div><div class=""><br class=""></div><div class="">* Sara L. Uckelman</div><div class=""> Title: "Women in the History of Logic: Why does it Matter Who Our Foremothers Are?"</div><div class=""><br class=""></div><div class="">* Shujun Zhang</div><div class=""> Title: "On Transforming Cut-free Cyclic Proofs into Rewriting Induction Proofs"<span class="Apple-tab-span" style="white-space: pre;"> </span></div><div class=""><br class=""></div><div class="">--------------------------------------------------------------------------------------------</div><div class="">CONTRIBUTED POSTERS</div><div class=""><br class=""></div><div class="">* A. Mani</div><div class=""> Title: "Mereological Emptiness for the Signed Number Problem"</div><div class=""><br class=""></div><div class="">* Paola Cattabriga</div><div class=""> Title: "Paradox free"</div><div class=""><br class=""></div><div class="">* Maureen Eckert</div><div class=""> Title: "Non-Domination and Centering in Val Plumwood’s Feminist Logic"</div><div class=""><br class=""></div><div class="">--------------------------------------------------------------------------------------------</div><div class="">PROGRAM</div><div class=""><br class=""></div><div class="">The detailed program is available on the WiL'21 website at</div><div class=""><a href="https://sites.google.com/g.uporto.pt/wil2021/program" class="">https://sites.google.com/g.uporto.pt/wil2021/program</a></div><div class=""><br class=""></div><div class="">--------------------------------------------------------------------------------------------</div><div class="">ORGANIZING AND PROGRAM COMMITTEE</div><div class=""><br class=""></div><div class="">* Sandra Alves (Co-chair, University of Porto)</div><div class="">* Agata Ciabattoni (TU Wien) </div><div class="">* Amy Felty (University of Ottawa)</div><div class="">* Maribel Fernández (King's College London)</div><div class="">* Helle Hansen (University of Groningen)</div><div class="">* Delia Kesner (Université de Paris)</div><div class="">* Sandra Kiefer (Co-chair, RWTH Aachen University/University of Warsaw) </div><div class="">* Koko Muroya (RIMS Kyoto University)</div><div class="">* Daniele Nantes (University of Brasília)</div><div class="">* Aybüke Özgün (ILLC - University of Amsterdam)</div><div class="">* Valeria de Paiva (Topos Institute)</div><div class="">* Ana Sokolova (Co-chair, University of Salzburg)</div><div class=""><br class=""></div><div class="">--------------------------------------------------------------------------------------------</div><div class="">SPONSORS</div><div class=""><br class=""></div><div class="">WiL'21 is pleased to acknowledge financial support from:</div><div class=""><br class=""></div><div class="">* ILLC, the Institute of Logic, Language and Computation of the University of Amsterdam</div><div class="">* SIGLOG, the Special Interest Group of the ACM for Logic</div></body></html>