<div dir="ltr"><div dir="ltr">LAFI 2019: Languages for Inference (formerly PPS)<br>================================================<br>Tuesday, 15 January 2019, Cascais/Lisbon, Portugal<br>A workshop affiliated with POPL 2019<br><a href="https://popl19.sigplan.org/track/lafi-2019">https://popl19.sigplan.org/track/lafi-2019</a><br><br><span style="font-family:monospace,monospace">Important dates (anywhere on earth)<br>-------------------------------------------------<br> LAFI submission deadline       Thu  1 Nov 2018<br> Notification                   Mon  3 Dec 2018<br> Early Registration Deadline    TBD<br> Workshop                       Tue 15 Jan 2019<br>-------------------------------------------------</span><br><br>Submission: <a href="https://lafi19.hotcrp.com/">https://lafi19.hotcrp.com/</a><br>Registration: TBD<br><br>Context<br>=======<br><br>Inference concerns re-calibrating program parameters based on<br>observed data, and has gained wide traction in machine learning and<br>data science. Inference can be driven by probabilistic analysis and<br>simulation, and through back-propagation and<br>differentiation. Languages for inference offer built-in support for<br>expressing probabilistic models and inference methods as programs, to<br>ease reasoning, use, and reuse. The recent rise of practical<br>implementations as well as research activity in inference-based<br>programming has renewed the need for semantics to help us share<br>insights and innovations.<br><br>This workshop aims to bring programming-language and machine-learning<br>researchers together to advance all aspects of languages for<br>inference. Topics include but are not limited to:<br><br>+ design of programming languages for inference and/or differentiable<br>  programming;<br>+ inference algorithms for probabilistic programming languages,<br>  including ones that incorporate automatic differentiation;<br>+ automatic differentiation algorithms for differentiable programming<br>  languages;<br>+ probabilistic generative modelling and inference;<br>+ variational and differential modelling and inference;<br>+ semantics (axiomatic, operational, denotational, games, etc) and<br>  types for inference and/or differentiable programming;<br>+ efficient and correct implementation;<br>+ and last but not least, applications of inference and/or<br>  differentiable programming.<br><br>For a sense of the talks, posters, and blogs in past years, see<br><br>+ PPS-2018: <a href="http://conf.researchr.org/track/POPL-2018/pps-2018">http://conf.researchr.org/track/POPL-2018/pps-2018</a><br>  blog:     <a href="http://pps2018.soic.indiana.edu/">http://pps2018.soic.indiana.edu/</a><br><br>+ PPS-2017: <a href="http://conf.researchr.org/track/POPL-2017/pps-2017">http://conf.researchr.org/track/POPL-2017/pps-2017</a><br>  blog:     <a href="http://pps2017.soic.indiana.edu/">http://pps2017.soic.indiana.edu/</a>)<br><br>+ PPS-2016: <a href="http://conf.researchr.org/track/POPL-2016/pps-2016">http://conf.researchr.org/track/POPL-2016/pps-2016</a><br>  blog:     <a href="http://pps2016.soic.indiana.edu/">http://pps2016.soic.indiana.edu/</a>)<br><br>This year we are explicitly expanding the focus of the workshop from<br>statistical probabilistic programming to encompass differentiable<br>programming for statistical machine learning.<br><br>We expect this workshop to be informal, and our goal is to foster<br>collaboration and establish common ground. Thus, the proceedings will<br>not be a formal or archival publication, and we expect to spend only a<br>portion of the workshop day on traditional research talks.<br>Nevertheless, as a concrete basis for fruitful discussions, we call<br>for extended abstracts describing specific and ideally ongoing work on<br>probabilistic programming languages, semantics, and systems.<br><br>Submission guidelines<br>=====================<br><br>Extended abstracts are up to 2 pages in PDF format, excluding<br>references.<br><br>Please submit them by November 1 (AoE) using HotCRP at:<br><a href="https://lafi19.hotcrp.com/">https://lafi19.hotcrp.com/</a><br><br>In line with the SIGPLAN Republication Policy:<br><br><a href="http://www.sigplan.org/Resources/Policies/Republication/">http://www.sigplan.org/Resources/Policies/Republication/</a><br><br>inclusion of extended abstracts in the programme is not intended to<br>preclude later formal publication.<br><br>Programme committee co-chairs:<br>Jeffrey Siskind, School of Electrical and Computer Engineering, Purdue University<br>Ohad Kammar, University of Oxford<br><br></div></div>