[TYPES/announce] LAFI 2024 - Call for Extended Abstracts (deadline Oct. 27)

[Matthijs Vákár]

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

             Call for Extended Abstracts

                      LAFI 2024
     Tenth Workshop on Languages for Inference at POPL 2024

                    January 14, 2024
      https://urldefense.com/v3/__https://popl24.sigplan.org/home/lafi-2024__;!!IBzWLUs!Q8wTEbZngaj2koLZfnD3Eddwj3VOwFwdSn6CMy-aCGO1Ky8xe6EC0MD42uahc5aVo657W8gYgochWFnqIpyeAvEglvSGF8nF1AE$ 

       Submission Deadline: October 27, 2023

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

** INVITED SPEAKER **

Hong Ge, Principal Investigator, Machine Learning Group, University of
Cambridge

** SUBMISSION SUMMARY **

   - Deadline: October 27, 2023 (AoE)
   - Submission page: https://urldefense.com/v3/__https://lafi24.hotcrp.com/__;!!IBzWLUs!Q8wTEbZngaj2koLZfnD3Eddwj3VOwFwdSn6CMy-aCGO1Ky8xe6EC0MD42uahc5aVo657W8gYgochWFnqIpyeAvEglvSG9mEbIbs$ 
   - 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 27, 2023 (AoE)
   - Submission link: https://urldefense.com/v3/__https://lafi24.hotcrp.com/__;!!IBzWLUs!Q8wTEbZngaj2koLZfnD3Eddwj3VOwFwdSn6CMy-aCGO1Ky8xe6EC0MD42uahc5aVo657W8gYgochWFnqIpyeAvEglvSG9mEbIbs$ 
   - 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/20230903/ec9e795a/attachment-0001.htm>