<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none"><!--P{margin-top:0;margin-bottom:0;} p
{margin-top:0;
margin-bottom:0}--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div style="word-wrap:break-word; line-break:after-white-space">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div><em>(Deadline approaching, last chance to submit a contribution.)</em></div>
<div><em>(Please consider sharing this piece of information among the nodes in your network.)</em></div>
<div class=""><em>(Apologies for cross-posting.)</em><br>
</div>
<div class=""><br class="">
</div>
------------------------------------------------------------------------------------------------<br class="">
Are you a woman working in logic? <br>
Are you planning to participate at FSCD-IJCAR 2020? <br>
Please join us at WiL, give a talk, and enjoy a day with Women in Logic! <br class="">
<br class="">
<strong>Please submit an abstract of 1-2 pages by May 10, 2020 via EasyChair. </strong><br class="">
This will help us provide an interesting program, with only a light-weight <br class="">
selection procedure. More information below:<br class="">
------------------------------------------------------------------------------------------------<br class="">
<strong>Call for Contributions</strong><br>
<strong></strong><br>
<strong> WiL 2020: 4th Women in Logic Workshop</strong><br>
<strong> virtual</strong><br>
<strong> 30 June 2020 </strong>
<div class=""><br class="">
</div>
<div class=""> <a href="https://sites.google.com/g.uporto.pt/wil2020" class="">
https://sites.google.com/g.uporto.pt/wil2020</a><br class="">
------------------------------------------------------------------------------------------------<br class="">
<br class="">
<strong>Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020"</strong><br>
<strong>(</strong><a href="https://lipn.univ-paris13.fr/summer-of-love-2020/"><strong>https://lipn.univ-paris13.fr/summer-of-love-2020/</strong></a><strong>), a joint event on</strong><br>
<strong>LOgic and VErification, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, </strong></div>
<div class=""><strong>and over 20 satellite events.</strong><br class="">
<br class="">
The Women in Logic workshop (WiL) provides an opportunity to increase<br class="">
awareness of the valuable contributions made by women in the area of<br class="">
logic in computer science. Its main purpose is to promote the excellent<br class="">
research done by women, with the ultimate goal of increasing their<br class="">
visibility and representation in the community. Our aim is to:<br class="">
<br class="">
- provide a platform for female researchers to share their work and<br class="">
achievements;<br class="">
- increase the feelings of community and belonging, especially among<br class="">
junior faculty, post-docs and students through positive interactions<br class="">
with peers and more established faculty;<br class="">
- establish new connections and collaborations;<br class="">
- foster a welcoming culture of mutual support and growth within the<br class="">
logic research community.<br class="">
We believe these aspects will benefit women working in logic and computer<br class="">
science, particularly early-career researchers.<br class="">
<br class="">
Previous versions of Women in Logic (Reykjavik, Iceland 2017,<br class="">
Oxford, UK 2018 and Vancouver, Canada 2019) were very successful<br class="">
in showcasing women's work and as catalysts for recognition of the<br class="">
need for change in the community.<br class="">
<br class="">
Topics of interest include but are not limited to: automata<br class="">
theory, automated deduction, categorical models and logics,<br class="">
concurrency and distributed computation, constraint programming,<br class="">
constructive mathematics, database theory, decision procedures,<br class="">
description logics, domain theory, finite model theory, formal aspects<br class="">
of program analysis, formal methods, foundations of computability,<br class="">
games and logic, higher-order logic, lambda and combinatory calculi,<br class="">
linear logic, logic in artificial intelligence, logic programming,<br class="">
logical aspects of bioinformatics, logical aspects of computational<br class="">
complexity, logical aspects of quantum computation, logical<br class="">
frameworks, logics of programs, modal and temporal logics, model<br class="">
checking, probabilistic systems, process calculi, programming language<br class="">
semantics, proof theory, real-time systems, reasoning about security<br class="">
and privacy, rewriting, type systems and type theory, and<br class="">
verification.<br class="">
<br class="">
INVITED SPEAKERS<br class="">
<span class="">
<div class="">* Maribel Fernández (Kings College London)<br class="">
</div>
</span><span class="">
<div class="">* Alexandra Silva (University College London)<br class="">
</div>
</span><span class=""><br class="">
</span><span class="">IMPORTANT DATES</span><br class="">
Abstract submission deadline: May 10, 2020<br class="">
Notification: June 2, 2020<br class="">
<br class="">
SUBMISSIONS<br class="">
Abstracts should be written in English (1-2 pages),<br class="">
and prepared using the Easychair style<br class="">
(<a href="https://easychair.org/publications/for_authors" class="">https://easychair.org/publications/for_authors</a>).<br class="">
<br class="">
The abstracts should be uploaded to the WiL 2020 Easychair page<br class="">
as a PDF file (<a href="https://easychair.org/conferences/?conf=wil2020" class="">https://easychair.org/conferences/?conf=wil2020</a>)<br class="">
before the submission deadline of May 10, 2020, anywhere on Earth.<br class="">
<br class="">
ORGANIZING AND PROGRAM COMMITTEE<br class="">
* Sandra Alves (Co-chair, University of Porto)<br class="">
* Amy Felty (University of Ottawa)<br class="">
* Delia Kesner (Université de Paris)<br class="">
* Sandra Kiefer (Co-chair, RWTH Aachen University) <br class="">
* Koko Muroya (RIMS Kyoto University)<br class="">
* Daniele Nantes (University of Brasília)<br class="">
* Valeria de Paiva (Samsung Research America)<br class="">
* Brigitte Pientka (McGill University)<br class="">
* Sonja Smets (ILLC - University of Amsterdam)<br class="">
* Ana Sokolova (Co-chair, University of Salzburg)</div>
<div class=""><br>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>