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