<div dir="ltr">=====================================================================<br><br>                 Call for Extended Abstracts<br><br>                          LAFI 2025<br>         Workshop on Languages for Inference at POPL 2025<br><br>                        January 19, 2025<br>          <a href="https://urldefense.com/v3/__https://popl25.sigplan.org/home/lafi-2025__;!!IBzWLUs!SZfGTp7cvL5w0Ah3waiswp98DgPBn1uuBwTt23-ZQA4KM3RmNuSGpLUnvcUr6mvpwninMeoHWpi0Hl1EsgP4D7HLW9knZJ_NkWw$" target="_blank">https://popl25.sigplan.org/home/lafi-2025</a><br><br>           Submission Deadline: October 30, 2024<br>=====================================================================<br><br>**Submission Summary**<br><br>- Deadline: October 30, 2024 (AoE)<br>- Submission page: <a href="https://urldefense.com/v3/__https://lafi25.hotcrp.com/__;!!IBzWLUs!SZfGTp7cvL5w0Ah3waiswp98DgPBn1uuBwTt23-ZQA4KM3RmNuSGpLUnvcUr6mvpwninMeoHWpi0Hl1EsgP4D7HLW9knYEgaZ5k$" target="_blank">https://lafi25.hotcrp.com/</a><br>- Format: extended abstract (2 pages + references + optional appendices)<br>- Call for Extended Abstracts<br><br><br>**Workshop Goals**<br><br>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:<br><br>- The 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>- Semantics (axiomatic, operational, denotational, games, etc) and types for inference and/or differentiable programming;<br>- Formal verification and correctness for differentiable and probabilistic programs;<br>- Applications of inference and/or differentiable programming.<br><br>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.<br><br><br>**Submission guidelines**<br><br>- Submission deadline on October 30, 2024 (AoE)<br>- Submission link: <a href="https://urldefense.com/v3/__https://lafi25.hotcrp.com/__;!!IBzWLUs!SZfGTp7cvL5w0Ah3waiswp98DgPBn1uuBwTt23-ZQA4KM3RmNuSGpLUnvcUr6mvpwninMeoHWpi0Hl1EsgP4D7HLW9knYEgaZ5k$" target="_blank">https://lafi25.hotcrp.com/</a><br>- Any format is permitted, uploads must be in PDF.<br>- Page limit: 2 pages of main content, unlimited number of references and appendices. Reviewers are not required or expected to read appendices.<br>- Anonymity: submissions should be anonymized for peer review.<br>- In line with the SIGPLAN Republication Policy, inclusion of extended abstracts in the program should not preclude later formal publication.<br><br><br>**Remote participation policy**<br><br>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.<div class="gmail-yj6qo"></div><div class="gmail-adL"></div><div class="gmail-adL"></div><div class="gmail-adL"><br></div></div>