[TYPES/announce] LAFI'22: Submission deadline extended to October 20

[Christine Tasson]

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


                      Call for Extended Abstracts


                               LAFI 2022
              POPL 2022 workshop on Languages for Inference


                             January 16, 2022
               https://urldefense.com/v3/__https://popl22.sigplan.org/home/lafi-2022__;!!IBzWLUs!CuKfW7dao6BlhsndqOP_LVILf6z2ut9NKVXtqvgh5SrMMCuFYuYOrPLzXcK7wB4YRFo9q7C29-iezQ$ 


                Submission deadline on October 20, 2021 - EXTENDED


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


***** Submission Summary *****


Deadline: October 20, 2021 (AoE) - EXTENDED
Link: https://urldefense.com/v3/__https://lafi22.hotcrp.com/__;!!IBzWLUs!CuKfW7dao6BlhsndqOP_LVILf6z2ut9NKVXtqvgh5SrMMCuFYuYOrPLzXcK7wB4YRFo9q7CNXmldEQ$ 
Format: extended abstract (2 pages + references)


***** Call for Extended Abstracts *****


Inference concerns re-calibrating program parameters based on observed
data, and has gained wide traction in machine learning and data
science. Inference can be driven by probabilistic analysis and
simulation, and through back-propagation and
differentiation. Languages for inference offer built-in support for
expressing probabilistic models and inference methods as programs, to
ease reasoning, use, and reuse. The recent rise of practical
implementations as well as research activity in inference-based
programming has renewed the need for semantics to help us share
insights and innovations.


This workshop 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 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;


* variational and differential modeling and inference;


* semantics (axiomatic, operational, denotational, games, etc) and
   types for inference and/or differentiable programming;


* efficient and correct implementation;


* and last but not least, applications of inference and/or
   differentiable programming.


We expect this workshop to be informal, and our goal is to foster
collaboration and establish common ground. Thus, 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. Nevertheless, as a concrete basis for fruitful discussions, we
call for extended abstracts describing specific and ideally ongoing
work on probabilistic and differential programming languages,
semantics, and systems.


***** Submission guidelines *****


Submission deadline on October 20, 2021 (AoE) - EXTENDED


Submission link: https://urldefense.com/v3/__https://lafi22.hotcrp.com/__;!!IBzWLUs!CuKfW7dao6BlhsndqOP_LVILf6z2ut9NKVXtqvgh5SrMMCuFYuYOrPLzXcK7wB4YRFo9q7CNXmldEQ$ 


Anonymous extended abstracts are up to 2 pages in PDF format, excluding 
references.


In line with the SIGPLAN Republication Policy, inclusion of extended
abstracts in the program is not intended to preclude later formal
publication.