<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
=====================================================================<br>
    <br>
                         Call for Extended Abstracts<br>
    <br>
                                  LAFI 2023<br>
                 POPL 2023 workshop on Languages for Inference<br>
    <br>
                                January 15, 2023<br>
                 <a moz-do-not-send="true" href="https://urldefense.com/v3/__https://popl23.sigplan.org/home/lafi-2023__;!!IBzWLUs!We13TOkHK6r79ITgJsnjSiC0J-JvnnUEmorBUJceT1pQydIhGTH1g6q6xM1cJbfefFQGlBtYx08xx9pHkEPJ1ImAH5z60u0AeP5wQzKGoZc$">
      https://popl23.sigplan.org/home/lafi-2023<br>
    </a><br>
                   Submission deadline on October 20, 2022!<br>
    <br>
    ====================================================================<br>
    <br>
    <br>
    ** Submission Summary<br>
    <br>
    Deadline: October 20, 2022 (AoE)<br>
    Link: <a moz-do-not-send="true" href="https://urldefense.com/v3/__https://lafi23.hotcrp.com/__;!!IBzWLUs!We13TOkHK6r79ITgJsnjSiC0J-JvnnUEmorBUJceT1pQydIhGTH1g6q6xM1cJbfefFQGlBtYx08xx9pHkEPJ1ImAH5z60u0AeP5wWzrAsS8$" class="moz-txt-link-freetext">https://lafi23.hotcrp.com/</a><br>
    Format: extended abstract (2 pages + references)<br>
    <br>
    ** Call for Extended Abstracts<br>
    <br>
    <div align="justify">Inference concerns re-calibrating program
      parameters based on observed <br>
      data, and has gained wide traction in machine learning and data
      science. <br>
    </div>
    <div align="justify">Inference can be driven by probabilistic
      analysis and simulation, and through</div>
    <div align="justify"> back-propagation and differentiation.
      Languages for inference offer built-in <br>
    </div>
    <div align="justify">support for expressing probabilistic models and
      inference methods as programs, <br>
    </div>
    <div align="justify">to ease reasoning, use, and reuse. The recent
      rise of practical implementations</div>
    <div align="justify">as well as research activity in inference-based
      programming has renewed the</div>
    <div align="justify"> need for semantics to help us share insights
      and innovations.<br>
    </div>
    <br>
    This workshop aims to bring programming-language and
    machine-learning <br>
    researchers together to advance all aspects of languages for
    inference. <br>
    <p>Topics include but are not limited to:</p>
    - design of programming languages for inference and/or
    differentiable programming;<br>
    - inference algorithms for probabilistic programming languages,
    including ones that incorporate automatic differentiation;<br>
    - automatic differentiation algorithms for differentiable
    programming languages;<br>
    - probabilistic generative modeling and inference;<br>
    - variational and differential modeling and inference;<br>
    - semantics (axiomatic, operational, denotational, games, etc) and
    types for inference and/or differentiable programming;<br>
    - efficient and correct implementation;<br>
    - and last but not least, applications of inference and/or
    differentiable programming.<br>
    <br>
    We expect this workshop to be informal, and our goal is to foster<br>
    collaboration and establish common ground. Thus, the proceedings
    will<br>
    not be a formal or archival publication, and we expect to spend only
    a<br>
    portion of the workshop day on traditional research talks.
    Nevertheless,<br>
    as a concrete basis for fruitful discussions, we call for extended
    abstracts<br>
    describing specific and ideally ongoing work on probabilistic and
    differential<br>
    programming languages, semantics, and systems.<br>
    <br>
    ** Submission guidelines<br>
    <p>- Submission deadline on October 20, 2022 (AoE)<br>
      - Submission link: <a moz-do-not-send="true" href="https://urldefense.com/v3/__https://lafi23.hotcrp.com/__;!!IBzWLUs!We13TOkHK6r79ITgJsnjSiC0J-JvnnUEmorBUJceT1pQydIhGTH1g6q6xM1cJbfefFQGlBtYx08xx9pHkEPJ1ImAH5z60u0AeP5wWzrAsS8$" class="moz-txt-link-freetext">https://lafi23.hotcrp.com/</a><br>
    </p>
    Anonymous extended abstracts are up to 2 pages in PDF format,
    excluding references.<br>
    <br>
    In line with the SIGPLAN Republication Policy, inclusion of extended
    abstracts <br>
    in the program is not intended to preclude later formal publication.
  </body>
</html>