[TYPES/announce] LAFI 2025 Call for Papers (Deadline Oct 30)

[Matthijs Vákár]

=====================================================================

                 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240912/15d29400/attachment-0001.htm>