<div dir="ltr"><h2 style="box-sizing:border-box;font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-weight:500;line-height:1.1;color:rgb(51,51,51);margin-top:20px;margin-bottom:10px;font-size:30px">Call for Extended Abstracts</h2><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"></p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">=====================================================================</p><pre style="box-sizing:border-box;overflow:auto;font-family:Menlo,Monaco,Consolas,"Courier New",monospace;font-size:13px;padding:9.5px;margin-top:0px;margin-bottom:10px;line-height:1.42857;color:rgb(51,51,51);word-break:break-all;background-color:rgb(245,245,245);border:1px solid rgb(204,204,204);border-radius:4px"><code style="box-sizing:border-box;font-family:Menlo,Monaco,Consolas,"Courier New",monospace;font-size:inherit;padding:0px;color:inherit;background-color:transparent;border-radius:0px;white-space:pre-wrap">                 Call for Extended Abstracts

                          LAFI 2022
         POPL 2022 workshop on Languages for Inference

                        January 16, 2022
          <a href="https://urldefense.com/v3/__https://popl22.sigplan.org/home/lafi-2022__;!!IBzWLUs!BMDu21e5s7dUb1mpczYYKC2ua77kE2ZWOuUKCY4Q1qIlH0lR7eoNqE5KWsuL9b6mKQnaiM2_ovmoPw$">https://popl22.sigplan.org/home/lafi-2022</a>

           Submission deadline on October 15, 2021!
</code></pre><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">====================================================================</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">***** Submission Summary *****</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">Deadline: October 15, 2021 (AoE)</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">Link: <a href="https://urldefense.com/v3/__https://lafi22.hotcrp.com/__;!!IBzWLUs!BMDu21e5s7dUb1mpczYYKC2ua77kE2ZWOuUKCY4Q1qIlH0lR7eoNqE5KWsuL9b6mKQnaiM0QZJ5BWw$" style="box-sizing:border-box;background-color:transparent;color:rgb(51,122,183);text-decoration-line:none;word-break:break-word">https://lafi22.hotcrp.com/</a></p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">Format: extended abstract (2 pages + references)</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">***** Call for Extended Abstracts *****</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">Inference concerns re-calibrating program parameters based on observed data, and has gained wide traction in machine learning and data science. Inference can be driven by probabilistic analysis and simulation, and through back-propagation and differentiation. Languages for inference offer built-in support for expressing probabilistic models and inference methods as programs, to ease reasoning, use, and reuse. The recent rise of practical implementations as well as research activity in inference-based programming has renewed the need for semantics to help us share insights and innovations.</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">This workshop 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:</p><ul style="box-sizing:border-box;margin-top:0px;margin-bottom:10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"><li style="box-sizing:border-box"><p style="box-sizing:border-box;margin:0px 0px 10px">design of programming languages for inference and/or differentiable programming;</p></li><li style="box-sizing:border-box"><p style="box-sizing:border-box;margin:0px 0px 10px">inference algorithms for probabilistic programming languages, including ones that incorporate automatic differentiation;</p></li><li style="box-sizing:border-box"><p style="box-sizing:border-box;margin:0px 0px 10px">automatic differentiation algorithms for differentiable programming languages;</p></li><li style="box-sizing:border-box"><p style="box-sizing:border-box;margin:0px 0px 10px">probabilistic generative modeling and inference;</p></li><li style="box-sizing:border-box"><p style="box-sizing:border-box;margin:0px 0px 10px">variational and differential modeling and inference;</p></li><li style="box-sizing:border-box"><p style="box-sizing:border-box;margin:0px 0px 10px">semantics (axiomatic, operational, denotational, games, etc) and types for inference and/or differentiable programming;</p></li><li style="box-sizing:border-box"><p style="box-sizing:border-box;margin:0px 0px 10px">efficient and correct implementation;</p></li><li style="box-sizing:border-box"><p style="box-sizing:border-box;margin:0px 0px 10px">and last but not least, applications of inference and/or differentiable programming.</p></li></ul><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">We expect this workshop to be informal, and our goal is to foster collaboration and establish common ground. Thus, 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. Nevertheless, as a concrete basis for fruitful discussions, we call for extended abstracts describing specific and ideally ongoing work on probabilistic and differential programming languages, semantics, and systems.</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">***** Submission guidelines *****</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">Submission deadline on October 15, 2021 (AoE)</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">Submission link: <a href="https://urldefense.com/v3/__https://lafi22.hotcrp.com/__;!!IBzWLUs!BMDu21e5s7dUb1mpczYYKC2ua77kE2ZWOuUKCY4Q1qIlH0lR7eoNqE5KWsuL9b6mKQnaiM0QZJ5BWw$" style="box-sizing:border-box;background-color:transparent;color:rgb(51,122,183);text-decoration-line:none;word-break:break-word">https://lafi22.hotcrp.com/</a></p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">Anonymous extended abstracts are up to 2 pages in PDF format, excluding references.</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">In line with the SIGPLAN Republication Policy, inclusion of extended abstracts in the program is not intended to preclude later formal publication.</p><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Jean-Baptiste Tristan<div>Associate Professor</div><div>Computer Science Department</div><div>Boston College</div><div><a href="https://urldefense.com/v3/__https://jtristan.github.io/__;!!IBzWLUs!BMDu21e5s7dUb1mpczYYKC2ua77kE2ZWOuUKCY4Q1qIlH0lR7eoNqE5KWsuL9b6mKQnaiM12HvIP7g$" target="_blank">Website</a><br></div></div></div></div>