<div dir="ltr">We have a really exciting lineup of papers and keynote speakers at PADL this year,<div>co-located with POPL 2021 and scheduled for Monday 18th - Tuesday 19th of January.</div><div><br></div><div>PADL continues to be a stimulating forum for research into the practical and applied sides of the broad spectrum of declarative languages (functional, logic, constraints) and their combinations.  The list of accepted papers can be found online: <a href="https://popl21.sigplan.org/home/PADL-2021">https://popl21.sigplan.org/home/PADL-2021</a><br><br>Topics this year include gradual types, logic programming for repairing states, reversible debugging, fuzzing, validation, declarative debugging, server-side web programming, foundations of logic programming implementation, blockchain safety, concurrency primitives, and pattern matching.</div><div><br></div><div>We have two keynotes:<br>- Semantics-based Synthesis in miniKanren - William Byrd (<span style="color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">University of Alabama at Birmingham)</span><br>- SMT-based Constraint Answer Set Solver EZSMT - <a style="box-sizing:border-box;color:rgb(51,122,183);word-break:break-word;font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"></a><span style="color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">Yuliya Lierler (University of Nebraska)</span></div><div><br></div><div><font color="#333333" face="Helvetica Neue, Helvetica, Arial, sans-serif"><span style="font-size:14px">Participation is of course online and anyone can register either as part of POPL or just to attend PADL itself:<br></span></font><a href="https://popl21.sigplan.org/attending/Registration">https://popl21.sigplan.org/attending/Registration</a><font color="#333333" face="Helvetica Neue, Helvetica, Arial, sans-serif"><span style="font-size:14px"><br></span></font></div><div><br></div><div>This year the registration price is modest ($100 for ACM members or $50 for ACM students, + $25 for non ACM members) and there is even a discount option of $10 for those who do not have a source of external funding, to further enable wide participation. Early registration rates end January 10th, after this the price goes up by $25 (but the discount rate remains $10).</div><div><br>We do hope you will join us and/or catch the recorded videos which will be made available online.</div><div><br></div><div>Dominic Orchard and Jose Morales<br><br></div></div>