[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]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


-

  *** 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

[TYPES/announce] LAFI 2023 - Final Call for Extended Abstracts (deadline Oct. 27) - POPL 2023 workshop on Languages for Inference

[Christine Tasson]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

=

   Call for Extended Abstracts

    LAFI 2023
   POPL 2023 workshop on Languages for Inference

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


 Submission deadline on October 27, 2022 -- EXTENDED!



** Invited Speaker

Hongseok Yang, professor at the School of Computing, KAIST, Korea

** Submission Summary

Deadline: October 27, 2022 (AoE) -- EXTENDED
Link: https://urldefense.com/v3/__https://lafi23.hotcrp.com/__;!!IBzWLUs!S5D0Jx1VLUXnVJ4CFCvt2g-tmyYT5f67T8C7s1cUAKE9pf_j33e7p6bANkHIDRjoPXfZlQrRWTOObXrAOkizCwq1uYN4I3FZeKNBp349rVE$  
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 27, 2022 (AoE) -- EXTENDED
- Submission link: https://urldefense.com/v3/__https://lafi23.hotcrp.com/__;!!IBzWLUs!S5D0Jx1VLUXnVJ4CFCvt2g-tmyYT5f67T8C7s1cUAKE9pf_j33e7p6bANkHIDRjoPXfZlQrRWTOObXrAOkizCwq1uYN4I3FZeKNBp349rVE$  
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.

** Remote participation policy

Notice that we plan to coordinate with the POPL conference on remote 
participation.
We would like to have remote participation even if the workshop happens 
in person.
Our plan is to create an inclusive environment that does not demand 
traveling if not possible for any reason.

[TYPES/announce] LAFI 2023 - Call for Extended Abstracts (deadline Oct. 20) - POPL 2023 workshop on Languages for Inference

[Christine Tasson]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


=

 Call for Extended Abstracts

  LAFI 2023
 POPL 2023 workshop on Languages for Inference

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


   Submission deadline on October 20, 2022!




** Submission Summary

Deadline: October 20, 2022 (AoE)
Link: https://urldefense.com/v3/__https://lafi23.hotcrp.com/__;!!IBzWLUs!We13TOkHK6r79ITgJsnjSiC0J-JvnnUEmorBUJceT1pQydIhGTH1g6q6xM1cJbfefFQGlBtYx08xx9pHkEPJ1ImAH5z60u0AeP5wWzrAsS8$  
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, 2022 (AoE)
- Submission link: https://urldefense.com/v3/__https://lafi23.hotcrp.com/__;!!IBzWLUs!We13TOkHK6r79ITgJsnjSiC0J-JvnnUEmorBUJceT1pQydIhGTH1g6q6xM1cJbfefFQGlBtYx08xx9pHkEPJ1ImAH5z60u0AeP5wWzrAsS8$  

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.

[TYPES/announce] PhD openings in Programming Language at Sorbonne Université, Paris

[Christine Tasson]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We are opening a PhD position in collaboration between the LiP6 lab
at Sorbonne Université, Paris and the Renault Software labs based in 
Toulouse.


The PhD will start in the first semester of 2022 and the position is for 
3 years. The job will be mainly in Paris, Campus Jussieu with some visit 
at Renault in Toulouse.


== Objectives

The project aims at designing the prototype of a Domain Specific 
Language based on functional reactive programming and used to model 
automotive systems. The language will be compiled to high insurance 
programming languages such as SCADE and to interoperable language such 
as Kotlin.


== Expectations from the candidates

We expect some experience in the field of formal methods of software 
engineering, in a general sense. The typical candidate would be someone 
who graduated im Computer Science with a curriculum in Programming 
Languages (compilation, functional programming or reactive programming, 
practice of shared development).


== How to apply

The PhD position should be filled as soon as possible and before June 2022.

The first step to apply is to contact Christine Tasson 
 and Sebastien Tasson 
, joining a detailed CV and a motivation 
letter.

[TYPES/announce] LAFI'22: Submission deadline extended to October 20

[Christine Tasson]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

=


 Call for Extended Abstracts


  LAFI 2022
 POPL 2022 workshop on Languages for Inference


    January 16, 2022
  https://urldefense.com/v3/__https://popl22.sigplan.org/home/lafi-2022__;!!IBzWLUs!CuKfW7dao6BlhsndqOP_LVILf6z2ut9NKVXtqvgh5SrMMCuFYuYOrPLzXcK7wB4YRFo9q7C29-iezQ$ 



   Submission deadline on October 20, 2021 - EXTENDED





* Submission Summary *


Deadline: October 20, 2021 (AoE) - EXTENDED
Link: https://urldefense.com/v3/__https://lafi22.hotcrp.com/__;!!IBzWLUs!CuKfW7dao6BlhsndqOP_LVILf6z2ut9NKVXtqvgh5SrMMCuFYuYOrPLzXcK7wB4YRFo9q7CNXmldEQ$ 
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://urldefense.com/v3/__https://lafi22.hotcrp.com/__;!!IBzWLUs!CuKfW7dao6BlhsndqOP_LVILf6z2ut9NKVXtqvgh5SrMMCuFYuYOrPLzXcK7wB4YRFo9q7CNXmldEQ$ 



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.

[TYPES/announce] JFLA 2014 - Third Call for Papers

[Christine Tasson]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

 (This message is intentionally written in French)


* Merci de faire circuler : Troisième appel à communication *

  JFLA'2014 (http://jfla.inria.fr/2014/)

  Journées Francophones des Langages Applicatifs

Organisées par l'INRIA,
à Fréjus - Var, du 8 janvier au 11 janvier 2014



Dates importantes
-

Dès maintenant : Signaler vos intentions de soumission par email à la 
présidente du comité de programme

1er octobre 2013 : Date limite de soumission
1er novembre 2013 : Notification aux auteurs
22 novembre 2013 : Remise des articles définitifs
10 décembre 2013 : Date limite d'inscription aux journées
8 janvier au 11 janvier 2014 : Journées


Cours et conférenciers invités
--

Olivier Danvy
Jean Krivine
Xavier Leroy
Christine Paulin


Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles
ont pour ambition de couvrir les domaines des langages applicatifs, de
la preuve formelle, et des objets mathématiques qui sous-tendent ces
outils. Ces domaines doivent être pris au sens large : nous souhaitons
avant tout favoriser les ponts entre les différentes thématiques :

. Langages fonctionnels et applicatifs : sémantique, compilation,
  optimisation, typage, mesures, extensions par d'autres paradigmes.

. Assistants de preuve : implémentation, nouvelles tactiques,
  développements présentant un intérêt technique ou méthodologique.

. Logique, correspondance de Curry-Howard, réalisabilité, extraction
  de programmes, modèles.

. Spécification, prototypage, développements formels d'algorithmes.

. Utilisation industrielle des langages fonctionnels et applicatifs,
  ou des méthodes issues des preuves formelles, outils pour le web.

Les articles soumis aux JFLA sont relus par au moins deux personnes
s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques
des relecteurs sont toujours bienveillantes et la plupart du temps
encourageantes et constructives, même en cas de rejet.

Il n'y a donc pas de raison de ne pas soumettre aux JFLA !


Comité de programme
---

Christine Tasson, Présidente (Université Paris Diderot)

David Baelde, Vice-président (ÉNS Cachan)

Jade Alglave (University College of London)

Zaynah Dargaye (CEA LIST)

Jean-Christophe Filliâtre (CNRS -- Université Paris Sud)

Pascal Fradet (INRIA-Rhones Alpes)

Jacques Garrigue (Nagoya University)

Barbara Petit (INRIA-Rhones Alpes)

Sylvain Pradalier (Dassault Systèmes)

Julien Signoles (CEA LIST)

Matthieu Sozeau (INRIA Paris--Rocquencourt)


Soumission
--

Nous accepterons cette année deux types de soumissions :

. article de recherche de quinze pages au plus, portant sur des
  travaux originaux. Nous accepterons volontiers des travaux en cours
  (pour lesquels l'aspect recherche n'est pas entièrement terminé) ;
  dans tous les cas, la forme de l'article devra être soignée.

  Les articles sélectionnés seront publiés dans les actes de la
  conférence, les auteurs seront invités à faire une présentation en
  vingt-cinq minutes lors des journées.

. proposition d'exposé court (dix minutes) pour décrire un prototype,
  faire la démonstration d'un outil, reparler d'un article déjà
  publié, rechercher de l'aide pour résoudre un problème particulier.

  Dans ce cas, nous vous demandons seulement de soumettre un résumé de
  deux à trois pages, qui nous permettra de sélectionner les orateurs
  en cas de forte affluence.


Date limite de soumission : 1er octobre 2013


Les soumissions doivent être déposées sur Easychair, à l'adresse
suivante :

 https://www.easychair.org/conferences/?conf=jfla2014

Elles peuvent être rédigées en anglais. Elles sont limitées à 15
pages A4 et le style LaTeX est imposé :

 http://jfla.inria.fr/2014/actes.sty