<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=""><span style="font-family: Menlo-Regular;" class="">--------------------------------------------------------------------------------------------</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class=""> Call for Contributions</span><br style="font-family: Menlo-Regular;" class=""><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class=""> WiL 2021: 5th Women in Logic Workshop</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class=""> </span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;"> </span><span style="font-family: Menlo-Regular;" class=""> June 27, 2021</span><br style="font-family: Menlo-Regular;" class=""><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;"> </span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;"> </span><span style="font-family: Menlo-Regular;" class=""> </span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;"> </span><span style="font-family: Menlo-Regular;" class=""> part of LICS 2021</span><br style="font-family: Menlo-Regular;" class=""><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;"> </span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;"> </span><span class="Apple-tab-span" style="font-family: Menlo-Regular; white-space: pre;"> </span><span style="font-family: Menlo-Regular;" class=""> </span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class=""> </span><a href="https://sites.google.com/g.uporto.pt/wil2021" style="font-family: Menlo-Regular;" class="">https://sites.google.com/g.uporto.pt/wil2021</a><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">--------------------------------------------------------------------------------------------</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">Women in Logic 2021 is a satellite event of the 36th Annual ACM/IEEE </span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">Symposium on Logic in Computer Science (LICS’21) to be held virtually </span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">on June 29-July 2, 2021.</span><br style="font-family: Menlo-Regular;" class=""><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">The Women in Logic workshop (WiL) provides an opportunity to increase</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">awareness of the valuable contributions made by women in the area of</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">logic in computer science. Its main purpose is to promote the excellent</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">research done by women, with the ultimate goal of increasing their</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">visibility and representation in the community. Our aim is to:</span><br style="font-family: Menlo-Regular;" class=""><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">- provide a platform for female researchers to share their work and</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">achievements;</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">- increase the feelings of community and belonging, especially among</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">junior faculty, post-docs and students through positive interactions</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">with peers and more established faculty;</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">- establish new connections and collaborations;</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">- foster a welcoming culture of mutual support and growth within the</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">logic research community.</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">We believe these aspects will benefit women working in logic and computer</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">science, particularly early-career researchers.</span><br style="font-family: Menlo-Regular;" class=""><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">Previous versions of Women in Logic (Reykjavík, Iceland 2017,</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">Oxford, UK 2018, Vancouver, Canada 2019, and Paris, France 2020) </span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">were very successful in showcasing women's work and as catalysts for a </span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">recognition of the need for change in the community.</span><br style="font-family: Menlo-Regular;" class=""><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">Topics of interest include but are not limited to: automata</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">theory, automated deduction, categorical models and logics,</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">concurrency and distributed computation, constraint programming,</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">constructive mathematics, database theory, decision procedures,</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">description logics, domain theory, finite model theory, formal aspects</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">of program analysis, formal methods, foundations of computability,</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">games and logic, higher-order logic, lambda and combinatory calculi,</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">linear logic, logic in artificial intelligence, logic programming,</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">logical aspects of bioinformatics, logical aspects of computational</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">complexity, logical aspects of quantum computation, logical</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">frameworks, logics of programs, modal and temporal logics, model</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">checking, probabilistic systems, process calculi, programming language</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">semantics, proof theory, real-time systems, reasoning about security</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">and privacy, rewriting, type systems and type theory, and</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">verification.</span><br style="font-family: Menlo-Regular;" class=""><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">INVITED SPEAKERS</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">Simona Ronchi Della Rocca</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">Rineke Verbrugge</span><br style="font-family: Menlo-Regular;" class=""><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">IMPORTANT DATES</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">Abstract submission deadline: April 30, 2021</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">Notification: May 28, 2021</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">Workshop: June 27, 2021</span><br style="font-family: Menlo-Regular;" class=""><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">SUBMISSIONS</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">Abstracts should be written in English (1-2 pages),</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">and prepared using the Easychair style (</span><a href="https://easychair.org/publications/for_authors" style="font-family: Menlo-Regular;" class="">https://easychair.org/publications/for_authors</a><span style="font-family: Menlo-Regular;" class="">).</span><br style="font-family: Menlo-Regular;" class=""><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">The abstracts should be uploaded to the WiL 2021 Easychair page</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">as a PDF file (</span><a href="https://easychair.org/conferences/?conf=wil2021" style="font-family: Menlo-Regular;" class="">https://easychair.org/conferences/?conf=wil2021</a><span style="font-family: Menlo-Regular;" class="">)</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">before the submission deadline on April 30, 2021, anywhere on Earth.</span><br style="font-family: Menlo-Regular;" class=""><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">ORGANIZING AND PROGRAM COMMITTEE</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Sandra Alves (Co-chair, University of Porto)</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Agata Ciabattoni (TU Wien) </span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Amy Felty (University of Ottawa)</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Maribel Fernández (King's College London)</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Helle Hansen (University of Groningen)</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Delia Kesner (Université de Paris)</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Sandra Kiefer (Co-chair, RWTH Aachen University) </span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Koko Muroya (RIMS Kyoto University)</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Daniele Nantes (University of Brasília)</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Aybüke Özgün (ILLC - University of Amsterdam)</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Valeria de Paiva (Topos Institute)</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">* Ana Sokolova (Co-chair, University of Salzburg)</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">_______________________________________________</span><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">women-in-logic mailing list -- </span><a href="mailto:women-in-logic@lists.rwth-aachen.de" style="font-family: Menlo-Regular;" class="">women-in-logic@lists.rwth-aachen.de</a><br style="font-family: Menlo-Regular;" class=""><span style="font-family: Menlo-Regular;" class="">To unsubscribe send an email to </span><a href="mailto:women-in-logic-leave@lists.rwth-aachen.de" style="font-family: Menlo-Regular;" class="">women-in-logic-leave@lists.rwth-aachen.de</a></body></html>