<div dir="ltr">-----------------------------------------------------------------------------------------<br>--> Please feel free to forward this e-mail to interested persons! <--<br><br>Are you a woman working in logic?<br>Please join us on July 1 at WiL, give a talk, and enjoy a day with Women in Logic!<br><br>Please submit an abstract of 1-2 pages by April 30, 2023, via EasyChair.<br>This will help us provide an interesting program, with only a light-weight<br>selection procedure. More information below:<br>-----------------------------------------------------------------------------------------<br>                       Call for Contributions<br><br>               WiL 2023: 7th Women in Logic Workshop<br>              <a href="https://urldefense.com/v3/__https://sites.google.com/view/wil2023__;!!IBzWLUs!R3UWPpnf-ueYJaLgxDmr2N7FzYb2nf87x2O1M9w0IHSh2NoLUZByBCoqgCMqWFjMg7BCrtpvNnq1fCh-s4GxGLpune94vVEdD-0XVXo$" rel="noreferrer" target="_blank">https://sites.google.com/view/wil2023</a><br>                          July 1, 2023<br>                   Co-located with FSCD 2023<br><br>   * Everybody is welcome! Funding available for participants! *<br>         Please apply here: <a href="https://urldefense.com/v3/__https://forms.gle/JgiPbjNWRzvkfiyu6__;!!IBzWLUs!R3UWPpnf-ueYJaLgxDmr2N7FzYb2nf87x2O1M9w0IHSh2NoLUZByBCoqgCMqWFjMg7BCrtpvNnq1fCh-s4GxGLpune94vVEdlK3PRmc$" rel="noreferrer" target="_blank">https://forms.gle/JgiPbjNWRzvkfiyu6</a><br><br>-----------------------------------------------------------------------------------------<br>Women in Logic 2023 is a satellite event of the 8th International Conference<br>on Formal Structures for Computation and Deduction (FSCD 2023) to be held<br>in Rome, Italy, from July 1 to July 6, 2023.<br><br>The Women in Logic workshop (WiL) provides an opportunity to increase<br>awareness of the valuable contributions made by women in the area of<br>logic in computer science. Its main purpose is to promote the excellent<br>research done by women, with the ultimate goal of increasing their<br>visibility and representation in the community. Our aim is to:<br><br>- provide a platform for female researchers to share their work and<br>achievements;<br>- increase the feelings of community and belonging, especially among<br>junior faculty, post-docs and students through positive interactions<br>with peers and more established faculty;<br>- establish new connections and collaborations;<br>- foster a welcoming culture of mutual support and growth within the<br>logic research community.<br>We believe these aspects will benefit women working in logic and computer<br>science, particularly early-career researchers.<br><br>Previous versions of Women in Logic (Reykjavík 2017, Oxford 2018,<br>Vancouver 2019, Paris 2020, Rome 2021, and Haifa 2022) were very successful<br>in showcasing women's work and as catalysts for a recognition of the need<br>for change in the community.<br><br>Topics of interest include but are not limited to: automata theory,<br>automated deduction, categorical models and logics, concurrency<br>and distributed computation, constraint programming, constructive<br>mathematics, database theory, decision procedures, description logics,<br>domain theory, finite model theory, formal aspects of program analysis,<br>formal methods, foundations of computability, games and logic,<br>higher-order logic, lambda and combinatory calculi, linear logic,<br>logic in artificial intelligence, logic programming, logical aspects<br>of bioinformatics, logical aspects of computational complexity,<br>logical aspects of quantum computation, logical frameworks, logics<br>of programs, modal and temporal logics, model checking, probabilistic<br>systems, process calculi, programming language semantics, proof theory,<br>real-time systems, reasoning about security and privacy, rewriting,<br>type systems and type theory, and verification.<br><br>INVITED SPEAKERS<br>* Sandra Alves (Universidade de Porto, Portugal)<br>* Marie Kerjean (CNRS, Université Sorbonne Paris Nord)<br><br>IMPORTANT DATES<br>Abstract submission deadline: April 30, 2023<br>Notification: May 19, 2023<br>Funding application: see the website<br>Contribution for informal proceedings: June 25, 2023<br>Workshop: July 1, 2023<br><br>SUBMISSIONS<br>Abstracts should be written in English (1-2 pages), and prepared<br>using the Easychair style (<a href="https://urldefense.com/v3/__https://easychair.org/publications/for_authors__;!!IBzWLUs!R3UWPpnf-ueYJaLgxDmr2N7FzYb2nf87x2O1M9w0IHSh2NoLUZByBCoqgCMqWFjMg7BCrtpvNnq1fCh-s4GxGLpune94vVEd0xcexV8$" rel="noreferrer" target="_blank">https://easychair.org/publications/for_authors</a>).<br><br>The abstracts should be uploaded to the WiL 2023 Easychair page<br>as a PDF file (<a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=wil2023__;!!IBzWLUs!R3UWPpnf-ueYJaLgxDmr2N7FzYb2nf87x2O1M9w0IHSh2NoLUZByBCoqgCMqWFjMg7BCrtpvNnq1fCh-s4GxGLpune94vVEd1FUuqGA$" rel="noreferrer" target="_blank">https://easychair.org/my/conference?conf=wil2023</a>)<br>before the submission deadline on April 30, 2023, anywhere on Earth.<br><br>FUNDING<br>Due to the generous support of our sponsors, we have limited funding available<br>for speakers and other participants. If you would like to apply for it, please<br>fill out the funding application on our website.<br><br>ORGANIZING AND PROGRAM COMMITTEE<br>* Agata Ciabattoni (Vienna University of Technology)<br>* Zoé Christoff  (University of Groningen)<br>* Amy Felty (University of Ottawa)<br>* Marie Fortin (IRIF)<br>* Sujata Ghosh (ISI Chennai)<br>* Sandra Kiefer (Co-chair, University of Oxford)<br>* Cláudia Nalon (University of Brasília)<br>* Daniele Nantes-Sobrinho (Co-chair, Imperial College London)<br>* Valeria de Paiva (Topos Institute)<br>* Catuscia Palamidessi (INRIA)<br>* Tephilla Prince (Co-chair, IIT Dharwad)<br>* Krishna S. (IIT Bombay)<br>* Alexandra Silva (Cornell University)<br>* Renata Wassermann (University of São Paulo)<br>_______________________________________________<br></div>