LAFI 2022 - The Seventh International Workshop on Languages for Inference - POPL 2022 (original) (raw)
NEWS LAFI 2022 will be a purely virtual event. Detailed schedule to be posted soon.
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 statistical 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 modelling and inference
- Variational and differential modelling and inference
- Semantics (axiomatic, operational, denotational, games, etc) and types for inference and/or differentiable programming
- Efficient and correct implementation
- Applications of inference and/or differentiable programming
The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).
**Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)**Select other time zone
The GMT offsets shown reflect the offsets at the moment of the conference.
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full programSpecify a time band
-
You're viewing the program in a time zone which is different from your device's time zone change time zone
| 15:05 - 16:20 | Contributed talksLAFI at LAFI Chair(s): Christine Tasson Sorbonne Université — LIP6 |
|---|---|
| 15:0518mTalk | **Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic LanguagesRemote**LAFIAlexander K. Lew Massachusetts Institute of Technology, USA, Mathieu Huot Oxford University, Vikash K. Mansinghka MIT File Attached |
| 15:2318mTalk | **A Language and Smoothed Semantics for Convergent Stochastic Gradient DescentRemote**LAFIDominik Wagner University of Oxford, C.-H. Luke Ong University of Oxford File Attached |
| 15:4218mTalk | **Nonparametric Involutive Markov Chain Monte CarloRemote**LAFICarol Mak University of Oxford, Fabian Zaiser University of Oxford, C.-H. Luke Ong University of Oxford File Attached |
| 16:0118mTalk | **Rigorous Approximation of Posterior Inference for Probabilistic ProgramsRemote**LAFIFabian Zaiser University of Oxford, Raven Beutner CISPA Helmholtz Center for Information Security, Germany, C.-H. Luke Ong University of Oxford File Attached |
Call for Extended Abstracts
=====================================================================
Call for Extended Abstracts
LAFI 2022
POPL 2022 workshop on Languages for Inference
January 16, 2022
https://popl22.sigplan.org/home/lafi-2022
Submission deadline on October 20, 2021 - EXTENDED
====================================================================
***** Submission Summary *****
Deadline: October 20, 2021 (AoE) - EXTENDED Link: https://lafi22.hotcrp.com/ 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://lafi22.hotcrp.com/
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.