<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="md-flex sg-mail-part ng-binding ng-scope" tabindex="-1"
role="button">
<div class="SOGoHTMLMail-CSS-Delimiter mailer_htmlcontent">
<p>-------------------------------------------------------------------------------------------------------------------------------------------------</p>
<div class="moz-text-html" lang="x-unicode">
<p> *** CALL FOR
PARTICIPATION ***</p>
<p><span class="md"> LAFI 2023</span> - POPL 2023
workshop on Languages for Inference<br>
<br>
January 15, 2023<br>
<a class="moz-txt-link-freetext" rel="noopener" href="https://urldefense.com/v3/__https://popl23.sigplan.org/home/lafi-2023__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITRi_eZPiA$" target="_blank">https://popl23.sigplan.org/home/lafi-2023</a></p>
<p>-------------------------------------------------------------------------------------------------------------------------------------------------</p>
<p>We are pleased to announce<span class="md"><strong
class="asterisk"> <a rel="noopener" href="https://urldefense.com/v3/__https://www.cs.cornell.edu/mfps-2022/__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITREb1ZGvM$" target="_blank">LAFI2023</a></strong> will be held on
<strong class="asterisk">Sunday January 15, 2023</strong>.
</span></p>
<p><span class="md">We plan to hold a hybrid conference with:
</span></p>
<ul>
<li><span class="md">the <b>in-person event in </b><strong
class="asterisk">Boston</strong> in-person <a rel="noopener" href="https://urldefense.com/v3/__https://popl23.sigplan.org/attending/registration__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITRG1IeOcA$" target="_blank">registration </a>is mandatory. </span></li>
<li><span class="md">the<b> local event in Paris </b>(Université
Paris Cité, M°Saint Germain des Prés)<b> </b>through
Airmeet with<br>
in-person speakers and attendees. To enter the building
on Sunday, you need to be registered on </span><br>
the list of participants of LAFI, registration<span
class="md"> is free and mandatory <a rel="noopener" href="https://urldefense.com/v3/__https://framadate.org/KhPZuYi6WJQPc3wr__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITRycETLBM$" target="_blank">here.</a></span></li>
<li><span class="md">Attendees will also be able to
participate virtually from Airmeet anywhere. The link
for Airmeet is<br>
included with a virtual POPL <a rel="noopener" href="https://urldefense.com/v3/__https://popl23.sigplan.org/attending/registration__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITRG1IeOcA$" target="_blank">registration</a> (about $100 for all
POPL events). It will be sent out a few </span><span
class="md"></span><span class="md"><br>
days in advance of the workshop.</span><span
style="font-size:11.0pt"></span></li>
<li><font size="6"><span style="font-size:11.0pt">Slack for
the workshop: <a href="https://urldefense.com/v3/__https://join.slack.com/t/lafi2023/shared_invite/zt-1mthwmynn-hwbrMBDoTwGP8Fbcj2vejw__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITR43y3Q7o$" class="moz-txt-link-freetext">https://join.slack.com/t/lafi2023/shared_invite/zt-1mthwmynn-hwbrMBDoTwGP8Fbcj2vejw</a></span></font></li>
</ul>
<span class="md"><span class="md">The <b>Schedule</b> is now
online: <a class="moz-txt-link-freetext" rel="noopener" href="https://urldefense.com/v3/__https://popl23.sigplan.org/home/lafi-2023*program__;Iw!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITRGC_GJQw$" target="_blank">https://popl23.sigplan.org/home/lafi-2023#program</a></span></span>
<p><span class="md"><span class="md">There will be speakers in
Boston, in Paris and Online.</span></span></p>
<p><span class="md"><span class="md"><b>Invited speaker</b></span></span></p>
<ul>
<li><span class="md"><span class="md"><span class="md">Hongseok
Yang, KAIST </span></span></span><br>
Introduction to the tensor-programs framework, a PL
approach<br>
that helps analyse theoretical properties of deep
learning.</li>
</ul>
<span class="md"><span class="md"> </span></span>
<div class="nonumberh2"><span class="md"><span class="md"><u><b>Program
Committee</b></u></span></span></div>
<span class="md"><span class="md"> </span></span>
<ul>
<li class="asterisk"><span class="md"><span class="md">Guillaume
Baudart, DIENS, Inria</span></span></li>
<li class="asterisk"><span class="md"><span class="md">Steven
Holtzen, Northeastern University (co-chair)</span></span></li>
<li class="asterisk"><span class="md"><span class="md">Faustyna
Krawied, University of Cambridge</span></span></li>
<li class="asterisk"><span class="md"><span class="md">Alexander
Lew, MIT</span></span></li>
<li class="asterisk"><span class="md"><span class="md">Michele
Pagani, IRIF, Université de Paris Cité</span></span></li>
<li class="asterisk"><span class="md"><span class="md">Gordon
Plotkin, Google</span></span></li>
<li class="asterisk"><span class="md"><span class="md">Eli
Sennesh, Northeastern University</span></span></li>
<li class="asterisk"><span class="md"><span class="md">Dario
Stein, Oxford University</span></span></li>
<li class="asterisk"><span class="md"><span class="md">Christine
Tasson, ISAE-SUPAERO (chair) </span></span></li>
</ul>
<span class="md"><span class="md"> </span></span>
<div class="nonumberh2"><span class="md"><span class="md"><u><b>Steering
Committee</b></u></span></span></div>
<span class="md"><span class="md"> </span></span>
<ul>
<li>Cameron Freer, MIT</li>
<li>Ohad Kammar, University of Edinburgh</li>
<li>Chung-chieh Shan, Indiana University</li>
<li>Jeffrey Mark Siskind, Purdue University</li>
<li>Jean-Baptiste Tristan, Amazon Web Services</li>
</ul>
</div>
</div>
</div>
</body>
</html>