
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><h2 style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font size="2">Call for Extended Abstracts </font></h2><h2 style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><font size="2">LAFI 2026 –<b> Workshop on Languages for Inference </b></font></h2><div>Colocated with POPL 2026 – Rennes, France, 11 January 2026</div><p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Submission deadline for extended abstracts<b>: </b>30<b> </b>October 2025 (AoE) </p><p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><a href="https://urldefense.com/v3/__https://popl26.sigplan.org/home/lafi-2026__;!!IBzWLUs!TMEiD5HpRbiTkjR6xngSi_-eLkq-IksbYGfKtb_6ur7vRe5KxmrGjp_MlXOVvcidcEuzo0JihaFXigBT5qB1FsVabEISz2NknQO_$">https://popl26.sigplan.org/home/lafi-2026</a></p><p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><b>Scope. </b>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:</p><ul style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><li>Design of programming languages for probabilistic inference and/or differentiable programming</li><li>Inference algorithms for probabilistic programming languages, including ones that incorporate automatic differentiation</li><li>Automatic differentiation algorithms for differentiable programming languages</li><li>Probabilistic generative modelling and inference</li><li>Variational and differentiable modelling and inference</li><li>Semantics (axiomatic, operational, denotational, games, etc) and types for probabilistic and/or differentiable programming</li><li>Efficient and correct implementation</li><li>Applications of probabilistic and/or differentiable programming</li></ul><p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><strong>Dissemination of research.</strong> 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. We strive to create an inclusive environment that does not demand traveling for presenters or participants. </p><p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><strong>Submission instructions.</strong> Uploads must be in PDF. Although no specific format is required, we suggest using an ACM template (either single- or double-column) in review mode, which adds line number annotations that reviewers can refer to when giving feedback. Submissions must consist of at most<strong> </strong>2 pages of main content, excluding references and appendices, and<b> </b>should be anonymized for peer review. (Please note that reviewers are not required or expected to read appendices.)</p><p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">In line with the SIGPLAN Republication Policy, inclusion of extended abstracts in the program should not preclude later formal publication.</p><p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><b>Program committee</b>: </p><div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><ul><li>Pedro H. Azevedo de Amorim, University of Bath, UK</li><li>Jialu Bao, Northeastern University, USA</li><li>Jürgen Cito, TU Wien, Austria</li><li>Poorva Garg, University of California, Los Angeles, USA</li><li>Ilias Garnier, PlantingSpace, France</li><li>Alexander K. Lew, Yale University, USA (co-chair)</li><li>William S. Moses, University of Illinois Urbana-Champaign, USA</li><li>Hugo Paquet, École Normale Supérieure & INRIA, France (co-chair)</li><li>Feras Saad, Carnegie Mellon University, USA</li><li>Fabian Zaiser, MIT, USA</li><li>Yizhou Zhang, University of Waterloo, Canada</li></ul></div></div></body></html>