<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>