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