<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><h2 style="box-sizing:border-box;font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-weight:500;line-height:1.1;color:rgb(51,51,51);margin-top:20px;margin-bottom:10px;font-size:30px"><span style="font-size:14px">=====================================================================</span><br></h2><pre style="box-sizing:border-box;overflow:auto;font-family:Menlo,Monaco,Consolas,"Courier New",monospace;font-size:13px;padding:9.5px;margin-top:0px;margin-bottom:10px;line-height:1.42857;color:rgb(51,51,51);word-break:break-all;background-color:rgb(245,245,245);border:1px solid rgb(204,204,204);border-radius:4px"><code style="box-sizing:border-box;font-family:Menlo,Monaco,Consolas,"Courier New",monospace;font-size:inherit;padding:0px;color:inherit;background-color:transparent;border-radius:0px">             Call for Extended Abstracts

                      LAFI 2024
     Tenth Workshop on Languages for Inference at POPL 2024

                    January 14, 2024
      <a href="https://urldefense.com/v3/__https://popl24.sigplan.org/home/lafi-2024__;!!IBzWLUs!Q8wTEbZngaj2koLZfnD3Eddwj3VOwFwdSn6CMy-aCGO1Ky8xe6EC0MD42uahc5aVo657W8gYgochWFnqIpyeAvEglvSGF8nF1AE$" target="_blank">https://popl24.sigplan.org/home/lafi-2024</a>

       Submission Deadline: October 27, 2023 
</code></pre><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">=====================================================================</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"><span style="box-sizing:border-box">** INVITED SPEAKER **</span></p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">Hong Ge, Principal Investigator, Machine Learning Group, University of Cambridge</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"><span style="box-sizing:border-box">** SUBMISSION SUMMARY **</span></p><ul style="box-sizing:border-box;margin-top:0px;margin-bottom:10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"><li style="box-sizing:border-box">Deadline: October 27, 2023 (AoE)</li><li style="box-sizing:border-box">Submission page: <a href="https://urldefense.com/v3/__https://lafi24.hotcrp.com/__;!!IBzWLUs!Q8wTEbZngaj2koLZfnD3Eddwj3VOwFwdSn6CMy-aCGO1Ky8xe6EC0MD42uahc5aVo657W8gYgochWFnqIpyeAvEglvSG9mEbIbs$" style="box-sizing:border-box;background-color:transparent;color:rgb(51,122,183);text-decoration-line:none;word-break:break-word" target="_blank">https://lafi24.hotcrp.com/</a></li><li style="box-sizing:border-box">Format: extended abstract (2 pages + references + optional appendices)</li><li style="box-sizing:border-box">Call for Extended Abstracts</li></ul><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">** WORKSHOP GOALS **<br></p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">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:</p><ul style="box-sizing:border-box;margin-top:0px;margin-bottom:10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"><li style="box-sizing:border-box">The design of programming languages for inference and/or differentiable programming;</li><li style="box-sizing:border-box">Inference algorithms for probabilistic programming languages, including ones that incorporate automatic differentiation;</li><li style="box-sizing:border-box">Automatic differentiation algorithms for differentiable programming languages;</li><li style="box-sizing:border-box">Probabilistic generative modeling and inference;</li><li style="box-sizing:border-box">Semantics (axiomatic, operational, denotational, games, etc) and types for inference and/or differentiable programming;</li><li style="box-sizing:border-box">Formal verification and correctness for differentiable and probabilistic programs;</li><li style="box-sizing:border-box">Applications of inference and/or differentiable programming.</li></ul><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">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.</p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"><span style="box-sizing:border-box">** SUBMISSION GUIDELINES **</span></p><ul style="box-sizing:border-box;margin-top:0px;margin-bottom:10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"><li style="box-sizing:border-box">Submission deadline on October 27, 2023 (AoE)</li><li style="box-sizing:border-box">Submission link: <a href="https://urldefense.com/v3/__https://lafi24.hotcrp.com/__;!!IBzWLUs!Q8wTEbZngaj2koLZfnD3Eddwj3VOwFwdSn6CMy-aCGO1Ky8xe6EC0MD42uahc5aVo657W8gYgochWFnqIpyeAvEglvSG9mEbIbs$" style="box-sizing:border-box;background-color:transparent;color:rgb(51,122,183);text-decoration-line:none;word-break:break-word" target="_blank">https://lafi24.hotcrp.com/</a></li><li style="box-sizing:border-box">Any format is permitted, uploads must be in PDF.</li><li style="box-sizing:border-box">Page limit: 2 pages of main content, unlimited number of references and appendices. Reviewers are not required or expected to read appendices.</li><li style="box-sizing:border-box">Anonymity: submissions should be anonymized for peer review.</li><li style="box-sizing:border-box">In line with the SIGPLAN Republication Policy, inclusion of extended abstracts in the program should not preclude later formal publication.</li></ul><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px"><span style="box-sizing:border-box">** REMOTE PARTICIPATION POLICY **</span></p><p style="box-sizing:border-box;margin:0px 0px 10px;color:rgb(51,51,51);font-family:"Helvetica Neue",Helvetica,Arial,sans-serif;font-size:14px">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.</p></div>
</div></div>