<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><h1 style="margin-right:0in;margin-bottom:6pt;margin-left:0in">
<span style="font-size:20pt;font-family:"Arial",sans-serif;color:black;font-weight:normal">Call for papers</span></h1>
<p style="margin:0in"><span style="color:black"></span><span style="font-family:"Arial",sans-serif;color:black">=====================================================================</span></p>
<p class="MsoNormal"> </p>
<p style="margin:0in"><span style="font-family:"Arial",sans-serif;color:black"> Call for Extended Abstracts</span></p>
<p class="MsoNormal"> </p>
<p style="margin:0in"><span style="font-family:"Arial",sans-serif;color:black"> LAFI 2024</span></p>
<p style="margin:0in"><span style="font-family:"Arial",sans-serif;color:black"> Tenth Workshop on Languages for Inference at POPL 2024</span></p>
<p class="MsoNormal"> </p>
<p style="margin:0in"><span style="font-family:"Arial",sans-serif;color:black"> January 14, 2024</span></p>
<p style="margin:0in"><span style="font-family:"Arial",sans-serif;color:black"> <a href="https://popl24.sigplan.org/home/lafi-2024" target="_blank">https://popl24.sigplan.org/home/lafi-2024</a></span></p>
<p class="MsoNormal"> </p>
<p style="margin:0in"><span style="font-family:"Arial",sans-serif;color:black"> Submission Deadline: October 27, 2023 </span></p>
<p style="margin:0in"><span style="font-family:"Arial",sans-serif;color:black">=====================================================================</span></p>
<p class="MsoNormal"> </p>
<p style="margin:0in"><b><span style="font-family:"Arial",sans-serif;color:black">Invited Speaker</span></b></p>
<p class="MsoNormal"> </p>
<p style="margin:0in"><span style="font-family:"Arial",sans-serif;color:black">Hong Ge, Principal Investigator, Machine Learning Group, University of Cambridge</span></p>
<p class="MsoNormal"> </p>
<p style="margin:0in"><b><span style="font-family:"Arial",sans-serif;color:black">Submission Summary</span></b></p>
<p class="MsoNormal"><br>
<br>
</p>
<ul style="margin-top:0in" type="disc">
<li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Deadline: October 27, 2023 (AoE)</span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Submission page: <a href="https://lafi24.hotcrp.com/" target="_blank">
<span style="color:rgb(17,85,204)">https://lafi24.hotcrp.com/</span></a></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Format: extended abstract (2 pages + references + optional appendices)</span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Call for Extended Abstracts</span></li></ul>
<p class="MsoNormal"> </p>
<p style="margin:0in"><b><span style="font-family:"Arial",sans-serif;color:black">Workshop Goals</span></b></p>
<p class="MsoNormal"> </p>
<p style="margin:0in"><span style="font-family:"Arial",sans-serif;color:black">LAFI aims to bring programming-language and machine-learning researchers together to advance all aspects of languages for inference. Topics include but are not limited to:</span></p>
<p class="MsoNormal"><br>
<br>
</p>
<ul style="margin-top:0in" type="disc">
<li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">The design of programming languages for inference and/or differentiable programming;</span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Inference algorithms for probabilistic programming languages, including ones that incorporate automatic differentiation;</span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Automatic differentiation algorithms for differentiable programming languages;</span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Probabilistic generative modeling and inference;</span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Semantics (axiomatic, operational, denotational, games, etc) and types for inference and/or differentiable programming;</span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Formal verification and correctness for differentiable and probabilistic programs;</span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Applications of inference and/or differentiable programming.</span></li></ul>
<p class="MsoNormal"> </p>
<p style="margin:0in"><span style="font-family:"Arial",sans-serif;color:black">The workshop is informal, and our goal is to foster collaboration and establish a shared foundation for research on languages for inference. The proceedings will not be a formal
or archival publication, and we expect to spend only a portion of the workshop day on traditional research talks. </span></p>
<p class="MsoNormal"> </p>
<p style="margin:0in"><b><span style="font-family:"Arial",sans-serif;color:black">Submission guidelines</span></b><br>
<br>
</p>
<ul style="margin-top:0in" type="disc">
<li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Submission deadline on October 27, 2023 (AoE)</span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Submission link: <a href="https://lafi24.hotcrp.com/" target="_blank">
<span style="color:rgb(17,85,204)">https://lafi24.hotcrp.com/</span></a></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Any format is permitted, uploads must be in PDF. </span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Page limit: 2 pages of main content, unlimited number of references and appendices. Reviewers are not required or expected to read appendices.</span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">Anonymity: submissions should be anonymized for peer review.</span></li><li style="color:black;margin-top:0in;margin-bottom:0in;vertical-align:baseline">
<span style="font-family:"Arial",sans-serif">In line with the SIGPLAN Republication Policy, inclusion of extended abstracts in the program should not preclude later formal publication.</span></li></ul>
<p class="MsoNormal"> </p>
<p style="margin:0in"><b><span style="font-family:"Arial",sans-serif;color:black">Remote participation policy</span></b></p>
<p class="MsoNormal"> </p>
<p style="margin:0in"><span style="font-family:"Arial",sans-serif;color:black">Coordination with the POPL conference is underway to enable remote participation. We strive to create an inclusive environment that does not demand traveling for presenters or participants.</span></p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> </p>
</div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div lang="EN-US">
</div>
</div></div>
</div></div>
</div></div>
</blockquote></div>
</div></div>