<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body link="#0563C1" vlink="#954F72"><div class=WordSection1><p class=MsoNormal>It is our pleasure to announce the call for the SIGLOG/VCLA/ILLC Travel Awards for attendees of Women in Logic Workshop 2020.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Thanks to the generous support of SIGLOG, the Vienna Center for Logic and Algorithms (VCLA) and the Institute of Logic, Language and Computation of the University of Amsterdam (ILLC), applications for awards are invited to facilitate students and postdocs, who are authors of accepted papers to register and travel to the WiL 2020.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The awardees of the SIGLOG/VCLA/ILLC Travel Award will be reimbursed for a portion of their travel expenses, and registration costs. There will be at most one award per paper.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>APPLICATION PROCESS <o:p></o:p></p><p class=MsoNormal>To submit a nomination for the SIGLOG/VCLA/ILLC Travel Awards please submit:<o:p></o:p></p><p class=MsoNormal>1.Basic information about the applicant<o:p></o:p></p><p class=MsoNormal>2.Information about her/their accepted WiL 2020 contribution<o:p></o:p></p><p class=MsoNormal>3.A statement about how attendance at WiL 2020 will impact the applicant<o:p></o:p></p><p class=MsoNormal>4.Resume/CV of the applicant<o:p></o:p></p><p class=MsoNormal>5.A nomination consists of a recommendation letter of up to 300 words by the applicant's supervisor/advisor<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Please submit using the subject “WiL 2020 – Travel Awards” to the WiL Program Co-chairs at <wil2020@easychair.org><o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>IMPORTANT DATES<o:p></o:p></p><p class=MsoNormal>-Nominations must arrive no later than May 15, 2020<o:p></o:p></p><p class=MsoNormal>-The winners will be notified by May 25, 2020<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Website: https://sites.google.com/g.uporto.pt/wil2020/home?authuser=0 <o:p></o:p></p><p class=MsoNormal>Contact: WiL2020 <a href="mailto:wil2020@easychair.org">wil2020@easychair.org</a><o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>------------------------------------------------------------------------------------------------<o:p></o:p></p><p class=MsoNormal> Call for Contributions<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> WiL 2020: 4th Women in Logic Workshop<o:p></o:p></p><p class=MsoNormal> Paris, France<o:p></o:p></p><p class=MsoNormal> 30 June 2020<o:p></o:p></p><p class=MsoNormal> sites.google.com/g.uporto.pt/wil2020/home?authuser=0<o:p></o:p></p><p class=MsoNormal>------------------------------------------------------------------------------<o:p></o:p></p><p class=MsoNormal>IMPORTANT DATES<o:p></o:p></p><p class=MsoNormal>Abstract submission deadline: April 22, 2020<o:p></o:p></p><p class=MsoNormal>Notification: May 21, 2020<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><span lang=EN-GB>WEBSITE: <a href="https://sites.google.com/g.uporto.pt/wil2020/submission?authuser=0">https://sites.google.com/g.uporto.pt/wil2020/submission?authuser=0</a> <o:p></o:p></span></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>ORGANIZING AND PROGRAM COMMITTEE<o:p></o:p></p><p class=MsoNormal>* Sandra Alves (Co-chair, University of Porto)<o:p></o:p></p><p class=MsoNormal>* Amy Felty (University of Ottawa)<o:p></o:p></p><p class=MsoNormal>* Delia Kesner (Université de Paris)<o:p></o:p></p><p class=MsoNormal>* Sandra Kiefer (Co-chair, RWTH Aachen University) <o:p></o:p></p><p class=MsoNormal>* Koko Muroya (RIMS Kyoto University)<o:p></o:p></p><p class=MsoNormal>* Daniele Nantes (University of Brasília)<o:p></o:p></p><p class=MsoNormal>* Valeria de Paiva (Samsung Research America)<o:p></o:p></p><p class=MsoNormal>* Brigitte Pientka (McGill University)<o:p></o:p></p><p class=MsoNormal>* Sonja Smets (ILLC - University of Amsterdam)<o:p></o:p></p><p class=MsoNormal>* Ana Sokolova (Co-chair, University of Salzburg)<o:p></o:p></p><p class=MsoNormal>---------------------------------------------------------------------------------<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>