[TYPES/announce] LAFI'23 - Call for participation - POPL-23 workshop on Languages for Inference - Boston, Online and with a local antenna in Paris

[Christine Tasson]

-------------------------------------------------------------------------------------------------------------------------------------------------

                                   *** CALL FOR PARTICIPATION ***

             LAFI 2023 - POPL 2023 workshop on Languages for Inference

                                             January 15, 2023
https://urldefense.com/v3/__https://popl23.sigplan.org/home/lafi-2023__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITRi_eZPiA$ 

-------------------------------------------------------------------------------------------------------------------------------------------------

We are pleased to announce*LAFI2023 
<https://urldefense.com/v3/__https://www.cs.cornell.edu/mfps-2022/__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITREb1ZGvM$ >* will be held on *Sunday January 
15, 2023*.

We plan to hold a hybrid conference with:

  * the *in-person event in **Boston* in-person registration
    <https://urldefense.com/v3/__https://popl23.sigplan.org/attending/registration__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITRG1IeOcA$ >is mandatory.
  * the*local event in Paris *(Université Paris Cité, M°Saint Germain
    des Prés)**through Airmeet with
    in-person speakers and attendees. To enter the building on Sunday,
    you need to be registered on
    the list of participants of LAFI, registrationis free and mandatory
    here. <https://urldefense.com/v3/__https://framadate.org/KhPZuYi6WJQPc3wr__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITRycETLBM$ >
  * Attendees will also be able to participate virtually from Airmeet
    anywhere. The link for Airmeet is
    included with a virtual POPL registration
    <https://urldefense.com/v3/__https://popl23.sigplan.org/attending/registration__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITRG1IeOcA$ > (about $100 for
    all POPL events). It will be sent out a few
    days in advance of the workshop.
  * Slack for the workshop:
    https://urldefense.com/v3/__https://join.slack.com/t/lafi2023/shared_invite/zt-1mthwmynn-hwbrMBDoTwGP8Fbcj2vejw__;!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITR43y3Q7o$ 

The *Schedule* is now online: 
https://urldefense.com/v3/__https://popl23.sigplan.org/home/lafi-2023*program__;Iw!!IBzWLUs!VUsgRD4in8B9GAfatuy1n1f8KqON9obuXvEn2eYKnGhH6uBFXTgO3yvmTqPa_UvEFcCPz3NM6hi9aPj9p0cQvEafU57rc0OfcITRGC_GJQw$ 

There will be speakers in Boston, in Paris and Online.

*Invited speaker*

  * Hongseok Yang, KAIST
    Introduction to the tensor-programs framework, a PL approach
    that helps analyse theoretical properties of deep learning.

_*Program Committee*_

  * Guillaume Baudart, DIENS, Inria
  * Steven Holtzen, Northeastern University (co-chair)
  * Faustyna Krawied, University of Cambridge
  * Alexander Lew, MIT
  * Michele Pagani, IRIF, Université de Paris Cité
  * Gordon Plotkin, Google
  * Eli Sennesh, Northeastern University
  * Dario Stein, Oxford University
  * Christine Tasson, ISAE-SUPAERO (chair)

_*Steering Committee*_

  * Cameron Freer, MIT
  * Ohad Kammar, University of Edinburgh
  * Chung-chieh Shan, Indiana University
  * Jeffrey Mark Siskind, Purdue University
  * Jean-Baptiste Tristan, Amazon Web Services
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230109/4059239f/attachment.htm>