Connectionists: LAFI 2024 Call for Papers (Deadline Oct 27)

[Ohad Kammar]

 Call for papers

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



                 Call for Extended Abstracts



                          LAFI 2024

         Tenth Workshop on Languages for Inference at POPL 2024



                        January 14, 2024

          https://popl24.sigplan.org/home/lafi-2024



           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://lafi24.hotcrp.com/
   - 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://lafi24.hotcrp.com/
   - 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://mailman.srv.cs.cmu.edu/pipermail/connectionists/attachments/20230905/dc47faf7/attachment.html>