<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 class="" style="font-family: Menlo-Regular;">-----------------------------------------------------------------------------------------</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">--> Please feel free to forward this e-mail to interested persons! <--</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Are you a woman working in logic?</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Please join us on July 31 at WiL, give a talk, and enjoy a day with Women in Logic!</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Please submit an abstract of 1-2 pages by May 29, 2022, via EasyChair.</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">This will help us provide an interesting program, with only a light-weight </span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">selection procedure. More information below:</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">-----------------------------------------------------------------------------------------</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;"> Call for Contributions</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;"> WiL 2022: 6th Women in Logic Workshop</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;"> July 31, 2022</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;"> part of FLoC 2022</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;"> </span><a href="https://urldefense.com/v3/__https://sites.google.com/g.uporto.pt/wil2022__;!!IBzWLUs!RQPnvIDnU81OFXMQ348cqzZ3tGLQcdVskwwaK5wqfDjkTL89Phvo0U1vQNbk9i2rGeVXwE8fUJfPYgIGRHRZcTuUW2529ZfSwA$" class="" style="font-family: Menlo-Regular;">https://sites.google.com/g.uporto.pt/wil2022</a><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">-----------------------------------------------------------------------------------------</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Women in Logic 2022 is a satellite event of the 8th Federated Logic Conference </span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">(FLoC 2022) to be held in Haifa, Israel, from July 31 to August 12, 2022.</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">The Women in Logic workshop (WiL) provides an opportunity to increase</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">awareness of the valuable contributions made by women in the area of</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">logic in computer science. Its main purpose is to promote the excellent</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">research done by women, with the ultimate goal of increasing their</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">visibility and representation in the community. Our aim is to:</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">- provide a platform for female researchers to share their work and</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">achievements;</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">- increase the feelings of community and belonging, especially among</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">junior faculty, post-docs and students through positive interactions</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">with peers and more established faculty;</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">- establish new connections and collaborations;</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">- foster a welcoming culture of mutual support and growth within the</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">logic research community.</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">We believe these aspects will benefit women working in logic and computer</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">science, particularly early-career researchers.</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Previous versions of Women in Logic (Reykjavík 2017, Oxford 2018,</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Vancouver 2019, Paris 2020, and Rome 2021) were very successful</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">in showcasing women's work and as catalysts for a recognition</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">of the need for change in the community.</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Topics of interest include but are not limited to: automata</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">theory, automated deduction, categorical models and logics,</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">concurrency and distributed computation, constraint programming,</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">constructive mathematics, database theory, decision procedures,</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">description logics, domain theory, finite model theory, formal aspects</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">of program analysis, formal methods, foundations of computability,</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">games and logic, higher-order logic, lambda and combinatory calculi,</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">linear logic, logic in artificial intelligence, logic programming,</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">logical aspects of bioinformatics, logical aspects of computational</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">complexity, logical aspects of quantum computation, logical</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">frameworks, logics of programs, modal and temporal logics, model</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">checking, probabilistic systems, process calculi, programming language</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">semantics, proof theory, real-time systems, reasoning about security</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">and privacy, rewriting, type systems and type theory, and</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">verification.</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">INVITED SPEAKERS</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Philippa Gardner (Imperial College London)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Delia Kesner (IRIF - Université de Paris)</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">IMPORTANT DATES</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Abstract submission deadline: May 29, 2022</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Notification: June 17, 2022</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Contribution for Informal Proceedings: June 29, 2022</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Workshop: July 31, 2022</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">SUBMISSIONS</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">Abstracts should be written in English (1-2 pages), and prepared</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">using the Easychair style (</span><a href="https://urldefense.com/v3/__https://easychair.org/publications/for_authors__;!!IBzWLUs!RQPnvIDnU81OFXMQ348cqzZ3tGLQcdVskwwaK5wqfDjkTL89Phvo0U1vQNbk9i2rGeVXwE8fUJfPYgIGRHRZcTuUW26oOdRkdg$" class="" style="font-family: Menlo-Regular;">https://easychair.org/publications/for_authors</a><span class="" style="font-family: Menlo-Regular;">).</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">The abstracts should be uploaded to the WiL 2022 Easychair page</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">as a PDF file (</span><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wil2022__;!!IBzWLUs!RQPnvIDnU81OFXMQ348cqzZ3tGLQcdVskwwaK5wqfDjkTL89Phvo0U1vQNbk9i2rGeVXwE8fUJfPYgIGRHRZcTuUW24m_-RKVg$" class="" style="font-family: Menlo-Regular;">https://easychair.org/conferences/?conf=wil2022</a><span class="" style="font-family: Menlo-Regular;">)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">before the submission deadline on May 29, 2022, anywhere on Earth.</span><br class="" style="font-family: Menlo-Regular;"><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">ORGANIZING AND PROGRAM COMMITTEE</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Maria Aloni (University of Amsterdam)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Sandra Alves (Co-chair, University of Porto)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de México)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Amy Felty (University of Ottawa)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Sandra Kiefer (Co-chair, Max Planck Institute for Software Systems)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Daniele Nantes (Co-chair, University of Brasília)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Valeria de Paiva (Topos Institute)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Elaine Pimentel (University College London)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Simona Ronchi Della Rocca (Università di Torino)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Renate A. Schmidt (University of Manchester)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Ana Sokolova (University of Salzburg)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Femke Van Raamsdonk (University of Amsterdam)</span><br class="" style="font-family: Menlo-Regular;"><span class="" style="font-family: Menlo-Regular;">* Rineke Verbrugge (University of Groningen)</span><div class=""><span class="" style="font-family: Menlo-Regular;">-----------------------------------------------------------------------------------------</span></div></body></html>