[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
LAFI 2026 – Workshop on Languages for Inference
Colocated with POPL 2026 – Rennes, France, 11 January 2026
Submission deadline: 30 October 2025 (AoE)
https://urldefense.com/v3/__https://popl26.sigplan.org/home/lafi-2026__;!!IBzWLUs!UFyTZNCD0jZXs_OeaShwCwe-CoYJ3rbW8CdCwqSVrt-IaS_pPEak-jbLlg-SsttM35-yWWyS1uJEheycfo8cfBgCnZGpO_lZlAbt$
Scope. 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:
Design of programming languages for probabilistic inference and/or
differentiable programming
Inference algorithms for probabilistic programming languages, including ones
that incorporate automatic differentiation
Automatic differentiation algorithms for differentiable programming languages
Probabilistic generative modelling and inference
Variational and differentiable modelling and inference
Semantics (axiomatic, operational, denotational, games, etc) and types for
probabilistic and/or differentiable programming
Efficient and correct implementation
Applications of probabilistic and/or differentiable programming
Dissemination of research. 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.
Submission instructions. 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 2 pages of main
content, excluding references and appendices, and should be anonymized for peer
review. (Please note that reviewers are not required or expected to read
appendices.) In line with the SIGPLAN Republication Policy, inclusion of
extended abstracts in the program should not preclude later formal publication.
Submit at
https://urldefense.com/v3/__https://lafi26.hotcrp.com/__;!!IBzWLUs!UFyTZNCD0jZXs_OeaShwCwe-CoYJ3rbW8CdCwqSVrt-IaS_pPEak-jbLlg-SsttM35-yWWyS1uJEheycfo8cfBgCnZGpOwTjrfKG$
Program committee:
Pedro H. Azevedo de Amorim, University of Bath, UK
Jialu Bao, Northeastern University, USA
Jürgen Cito, TU Wien, Austria
Poorva Garg, University of California, Los Angeles, USA
Ilias Garnier, PlantingSpace, France
Alexander K. Lew, Yale University, USA (co-chair)
William S. Moses, University of Illinois Urbana-Champaign, USA
Hugo Paquet, École Normale Supérieure & INRIA, France (co-chair)
Feras Saad, Carnegie Mellon University, USA
Fabian Zaiser, MIT, USA
Yizhou Zhang, University of Waterloo, Canada
