[TYPES/announce] Call for extended abstracts: Languages for Inference 2022 (LAFI'22)

[Jean-Baptiste Tristan]

Call for Extended Abstracts

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

                 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!BMDu21e5s7dUb1mpczYYKC2ua77kE2ZWOuUKCY4Q1qIlH0lR7eoNqE5KWsuL9b6mKQnaiM2_ovmoPw$ 

           Submission deadline on October 15, 2021!

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

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

Deadline: October 15, 2021 (AoE)

Link: https://urldefense.com/v3/__https://lafi22.hotcrp.com/__;!!IBzWLUs!BMDu21e5s7dUb1mpczYYKC2ua77kE2ZWOuUKCY4Q1qIlH0lR7eoNqE5KWsuL9b6mKQnaiM0QZJ5BWw$ 

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 15, 2021 (AoE)

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

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.

-- 
Jean-Baptiste Tristan
Associate Professor
Computer Science Department
Boston College
Website <https://urldefense.com/v3/__https://jtristan.github.io/__;!!IBzWLUs!BMDu21e5s7dUb1mpczYYKC2ua77kE2ZWOuUKCY4Q1qIlH0lR7eoNqE5KWsuL9b6mKQnaiM12HvIP7g$ >
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210830/0e36039d/attachment-0001.htm>